All Departments
Hi
ALL DEPARTMENTS
Daily
deals
My Orders
Wishlist
Help
Sell On Loot
Arts & Crafts
Baby
Books
Computers
DIY & Tools
Electronics
Fashion
Fragrances
Games
Garden
Health & Beauty
Home
Kitchen & Appliances
Movies & TV
Music
Outdoor
Pets
Sport
Stationery & Office
Toys
Filter by Category
All Departments
Books
Filter by Price
Min Price
Max Price
Clear
Apply
Status
Available to order
Brand
Cambridge UniversityPress
Springer-Verlag
Filter Results
Showing 4 Results in All Departments
Relevance
Rippling: Meta-Level Guidance for Mathematical Reasoning (Hardcover)
Alan Bundy
,
David Basin
,
Dieter Hutter
,
Andrew Ireland
R
2,617
Add to Cart
Ships in 12 - 17 working days
Security in Pervasive Computing - Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings (Paperback, 2005 ed.)
R
1,630
Add to Cart
Ships in 10 - 15 working days
Mechanizing Mathematical Reasoning - Essays in Honor of Joerg H. Siekmann on the Occasion of His 60th Birthday (Paperback, 2005 ed.)
R
3,236
Add to Cart
Ships in 10 - 15 working days
Applied Formal Methods - FM-Trends 98 - International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings (Paperback, 1999 ed.)
R
1,719
Add to Cart
Ships in 10 - 15 working days