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
Saint Philip Street Press
Springer Nature Switzerland AG
Springer-Verlag
Filter Results
Showing 8 of 8 Results in All Departments
Relevance
Computer Aided Verification (Hardcover)
Serdar Tasiran
,
Isil Dillig
R
2,149
Add to Cart
Ships in 12 - 17 working days
Computer Aided Verification (Hardcover)
Serdar Tasiran
,
Isil Dillig
R
2,008
Add to Cart
Ships in 12 - 17 working days
Runtime Verification - 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers (Paperback, 2007 ed.)
R
1,580
Add to Cart
Ships in 10 - 15 working days
Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II (Paperback, 1st ed. 2019)
R
1,797
Add to Cart
Ships in 10 - 15 working days
Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I (Paperback, 1st ed. 2019)
R
1,836
Add to Cart
Ships in 10 - 15 working days
Runtime Verification - Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers (Paperback, 2013 ed.)
R
1,593
Add to Cart
Ships in 10 - 15 working days
Computer Aided Verification (Paperback)
Serdar Tasiran
,
Isil Dillig
R
1,906
Add to Cart
Ships in 10 - 15 working days
Computer Aided Verification (Paperback)
Serdar Tasiran
,
Isil Dillig
R
1,732
Add to Cart
Ships in 10 - 15 working days