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
Springer-Verlag New York
Filter Results
Showing 3 of 3 Results in All Departments
Relevance
Adapting Proofs-as-Programs - The Curry--Howard Protocol (Hardcover, 2005 ed.)
Iman Poernomo
,
John N. Crossley
,
Martin Wirsing
R
4,641
Add to Cart
Ships in 12 - 17 working days
Adapting Proofs-as-Programs - The Curry--Howard Protocol (Paperback, Softcover reprint of hardcover 1st ed. 2005)
Iman Poernomo
,
John N. Crossley
,
Martin Wirsing
R
4,600
Add to Cart
Ships in 10 - 15 working days
Component-Based Software Engineering - 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings (Paperback, 2009 ed.)
R
1,578
Add to Cart
Ships in 10 - 15 working days