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
On special
Brand
Idea Group,U.S.
Springer International Publishing AG
Springer-Verlag
VDM Verlag Dr. Mueller E.K.
Filter Results
Showing 5 of 5 Results in All Departments
Relevance
Formalized Probability Theory and Applications Using Theorem Proving (Hardcover)
Osman Hasan
,
Sofiene Tahar
List Price
R
5,456
R
5,452
Add to Cart
Ships in 12 - 17 working days
Theorem Proving in Higher Order Logics - 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings (Paperback, 2008 ed.)
R
1,593
Add to Cart
Ships in 10 - 15 working days
Theorem Proving in Higher Order Logics - 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings (Paperback, 2002 ed.)
R
1,724
Add to Cart
Ships in 10 - 15 working days
Verification and Evaluation of Computer and Communication Systems - 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings (Paperback, 1st ed. 2017)
R
1,580
Add to Cart
Ships in 10 - 15 working days
Probabilistic Analysis using Theorem Proving (Paperback)
Osman Hasan
,
Sofiene Tahar
R
1,798
Add to Cart
Ships in 10 - 15 working days