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
Formal Aspects of Component Software - 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers (Paperback, 2013 ed.)
R
2,021
Add to Cart
Ships in 10 - 15 working days
Model Checking Software - 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings (Paperback, 2009 ed.)
R
1,584
Add to Cart
Ships in 10 - 15 working days
Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings (Paperback, 1st ed. 2022)
R
1,644
Add to Cart
Ships in 10 - 15 working days
Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings (Paperback, 1st ed. 2021)
R
2,564
Add to Cart
Ships in 10 - 15 working days
Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (Paperback, 1st ed. 2015)
R
1,709
Add to Cart
Ships in 10 - 15 working days
Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II (Paperback, 1st ed. 2015)
R
3,036
Add to Cart
Ships in 10 - 15 working days