Free delivery for orders over 69.99 euro.
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 69.99 €
DPD courier 5.99 €
Bpost point 7.99 €
Bpost 7.49 €
DPD point 3.49 €
GLS courier 4.99 €
Contact
How to shop
Help
Delivery
DPD courier 5.99 €
Bpost point 7.99 €
Bpost 7.49 €
DPD point 3.49 €
GLS courier 4.99 €
Free delivery for purchases over 69.99 €
Shopping guide
My account
▸
Empty :-(
0
Free delivery for orders over 69.99 euro.
Computer Aided Verification
36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III
Language
English
English
Book
Paperback
This open access book constitutes the proceedings of the 36th International Conference on Computer-A...
Full description
Libristo code: 46145317
?
100 b
100 b
41.32
€
In stock at our supplier
Shipping in 5-8 days
Up to 30 days for returns
Customers also purchased
This open access book constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24-27, 2024.The primary focus of CAV is to extend the frontiers of verification techniques by expanding to new domains such as security, quantum computing, and machine learning.
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
Vijay Ganesh, Arie Gurfinkel
Language
English
English
Binding
Book - Paperback
Date of issue
2024
Number of pages
500
EAN
9783031656323
Libristo code
46145317
Publishers
Springer, Berlin
Weight
908
Dimensions
155 x 235
