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
3 Big Cats Publishing
Springer International Publishing AG
Springer-Verlag
Filter Results
Showing 6 of 6 Results in All Departments
Relevance
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
Nonmonotonic and Inductive Logic - Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings (Paperback, 1993 ed.)
R
1,713
Add to Cart
Ships in 10 - 15 working days
Nonmonotonic and Inductive Logic - 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings (Paperback, 1991 ed.)
R
1,658
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
Theorie der Logischen Programmierung (German, Paperback)
Peter H. Schmitt
R
1,699
Add to Cart
Ships in 10 - 15 working days
The Network (Paperback)
Peter H. Schmitt
R
576
Add to Cart
Ships in 10 - 15 working days