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-Verlag
Filter Results
Showing 4 of 4 Results in All Departments
Relevance
Tests and Proofs - First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers (Paperback)
R
1,580
Add to Cart
Ships in 10 - 15 working days
The Classical Decision Problem (Paperback, Softcover reprint of the original 1st ed. 1997)
Egon Boerger
,
Erich Gradel
,
Yuri Gurevich
R
5,560
Add to Cart
Ships in 10 - 15 working days
Abstract State Machines - Theory and Applications - International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings (Paperback, 2000 ed.)
R
1,612
Add to Cart
Ships in 10 - 15 working days
Computer Science Logic - 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers (Paperback, 1994 ed.)
R
1,721
Add to Cart
Ships in 10 - 15 working days