null Skip to main content

✨ Buy more, save 5% Ends

Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part II

Computer Aided Verification: 36th International Conference, Cav 2024, Montreal, Qc, Canada, July 24-27, 2024, Proceedings, Part II

Arie Gurfinkel, Vijay Ganesh

$56.30
New condition
(No reviews yet) Write a Review
Physical book delivery

Shipping calculated at checkout.

Estimated delivery
Adding to cart… The item has been added
Product Details
Author:
Arie Gurfinkel, Vijay Ganesh
Publisher:
Springer
Publication Date:
Jul 25, 2024
Language:
English
Binding:
Paperback
ISBN-10:
3031656296
ISBN-13:
9783031656293

Reviews

0 Reviews

Write a Review

No reviews yet.

Share your experience and help another reader choose their next book.

!

Discover your next great book

Get new releases, reader favourites, and special offers delivered to your inbox.