All Departments
Departments
Dailydeals
My Orders
Help
Sell On Loot
Filter by Category
All Departments
Books
Filter by Price
Min Price
Max Price
Clear
Apply
Status
Available to order
Brand
Springer International Publishing AG
Springer Nature Switzerland AG
Filter Results
Showing 5 of 5 Results in All Departments
Relevance
Verification, Model Checking, and Abstract Interpretation - 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings (Paperback, 1st ed. 2022)
R
2,820
Add to Cart
Ships in 10 - 15 working days
Fields of Logic and Computation III - Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday (Paperback, 1st ed. 2020)
R
1,598
Add to Cart
Ships in 10 - 15 working days
Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings (Paperback, 1st ed. 2019)
R
2,009
Add to Cart
Ships in 10 - 15 working days
Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings (Paperback, 1st ed. 2015)
R
3,184
Add to Cart
Ships in 10 - 15 working days
Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday (Paperback, 1st ed. 2015)
R
2,552
Add to Cart
Ships in 10 - 15 working days