All Departments
Departments
Dailydeals
My Orders
Help
Sell On Loot
Filter by Category
All Departments
Books
Promotions
Filter by Price
Min Price
Max Price
Clear
Apply
Status
Available to order
Brand
Springer International Publishing AG
Springer-Verlag
Filter Results
Showing 5 of 5 Results in All Departments
Relevance
Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17â22, 2023, Proceedings, Part II (1st ed. 2023)
R
1,496
Add to Cart
Ships in 10 - 15 working days
Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17â22, 2023, Proceedings, Part III (1st ed. 2023)
R
1,522
Add to Cart
Ships in 10 - 15 working days
Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17â22, 2023, Proceedings, Part I (1st ed. 2023)
R
1,522
Add to Cart
Ships in 10 - 15 working days
Verified Software. Theories, Tools and Experiments. - 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers (Paperback, 1st ed. 2023)
R
1,542
Add to Cart
Ships in 10 - 15 working days
Verification, Model Checking, and Abstract Interpretation - 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings (Paperback, 2015 ed.)
R
3,036
Add to Cart
Ships in 10 - 15 working days