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
Language
English
English
Book
Paperback
This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33r...
Full description
Libristo code: 36665423
?
100 b
100 b
41.32
€
In stock at our supplier
Shipping in 5-8 days
30-day return policy
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.
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
Language
English
English
Binding
Book - Paperback
Date of issue
2021
Number of pages
940
EAN
9783030816872
ISBN
3030816877
Libristo code
36665423
Publishers
Springer Nature Switzerland AG
Weight
1448
Dimensions
155 x 235 x 52
