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 Nature Switzerland AG
Springer-Verlag
Filter Results
Showing 9 of 9 Results in All Departments
Relevance
Formal Methods for Components and Objects - 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers (Paperback, 2013 ed.)
R
1,603
Add to Cart
Ships in 10 - 15 working days
Formal Verification of Object-Oriented Software - International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers (Paperback, 2012 ed.)
R
1,441
Add to Cart
Ships in 10 - 15 working days
Tests and Proofs - Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings (Paperback, 2008 ed.)
R
1,553
Add to Cart
Ships in 10 - 15 working days
Verification of Object-Oriented Software. The KeY Approach - Foreword by K. Rustan M. Leino (Paperback, 2007 ed.)
R
3,129
Add to Cart
Ships in 10 - 15 working days
The Logic of Software. A Tasting Menu of Formal Methods - Essays Dedicated to Reiner Hahnle on the Occasion of His 60th Birthday (Paperback, 1st ed. 2022)
R
3,080
Add to Cart
Ships in 10 - 15 working days
Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY (Paperback, 1st ed. 2020)
R
1,598
Add to Cart
Ships in 10 - 15 working days
Electronic Voting - 5th International Joint Conference, E-Vote-ID 2020, Bregenz, Austria, October 6-9, 2020, Proceedings (Paperback, 1st ed. 2020)
R
1,580
Add to Cart
Ships in 10 - 15 working days
Electronic Voting - 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1-4, 2019, Proceedings (Paperback, 1st ed. 2019)
R
1,839
Add to Cart
Ships in 10 - 15 working days
Deductive Software Verification - The KeY Book - From Theory to Practice (Paperback, 1st ed. 2016)
R
3,661
Add to Cart
Ships in 10 - 15 working days