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
Contact
How to shop
Help
Delivery
DPD courier 4.99 €
GLS courier 11.49 €
Shopping guide
My account
▸
Empty :-(
0
Computer Aided Verification
33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
Language
English
English
E-book
Adobe ePub DRM
This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33r...
Full description
Libristo code: 41014596
?
11 b
11 b
4.34
€
In stock
Immediate digital delivery
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.
Actress
&
Polyglot
EWA KASP
for
Play video
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.
About the book
Full name
Computer Aided Verification
Author
Alexandra Silva, K. Rustan M. Leino
Language
English
English
Binding
E-book - Adobe ePub DRM
Date of issue
2021
EAN
9783030816858
Libristo code
41014596
Publishers
Springer
