Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 1 170 Ft DPD courier 1 370 Ft GLS point 1 370 Ft Hungarian Post 1 975 Ft Hungarian Post 1 870 Ft Hungarian Post 1 870 Ft FoxPost 1 370 Ft Packeta point 1 370 Ft GLS courier 1 870 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer
SKU: 41014596
Price: 1742 HUF
Availability: InStock
Author: Alexandra Silva
ISBN: 9783030816858

33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I

Alexandra Silva

K. Rustan M. Leino

Language

English

E-book Adobe ePub DRM

Libristo code: 41014596

Publishers Springer, July 2021

This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33r... Full description

Libristo code: 41014596

12 b

1 742 Ft

In stock Immediate digital delivery

Customers also purchased

A Lindberg Extravaganza Christian/Ek Lindberg

Audio CD

9 020 Ft

Mein Klapp-Guck-Buch: Welche Farbe hat das Tier? Susanne Weber

Board book

3 688 Ft

Dans ma tête de bipolaire Lambot

Paperback

3 445 Ft

This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis.Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification.This is an open access book.