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
Springer-Verlag
Filter Results
Showing 6 of 6 Results in All Departments
Relevance
Lectures on Runtime Verification - Introductory and Advanced Topics (Paperback, 1st ed. 2018)
R
1,968
Add to Cart
Ships in 10 - 15 working days
Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday (Paperback, 1st ed. 2021)
R
1,682
Add to Cart
Ships in 10 - 15 working days
From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday (Paperback, 1st ed. 2019)
R
1,588
Add to Cart
Ships in 10 - 15 working days
Computational Methods in Systems Biology - 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings (Paperback, 1st ed. 2016)
R
2,677
Add to Cart
Ships in 10 - 15 working days
Runtime Verification - 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings (Paperback, 2015 ed.)
R
2,924
Add to Cart
Ships in 10 - 15 working days
Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings (Paperback, 2013 ed.)
R
1,610
Add to Cart
Ships in 10 - 15 working days