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
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