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
On special
Brand
Cambridge UniversityPress
MIT Press
Springer International Publishing AG
Springer Nature Switzerland AG
Springer-Verlag
Filter Results
Showing 8 of 8 Results in All Departments
Relevance
SAVE
R
132
Foundations of Probabilistic Programming (Hardcover)
List Price
R
1,892
R
1,760
Add to Cart
Ships in 12 - 17 working days
Model-Based Testing of Reactive Systems - Advanced Lectures (Paperback, 2005 ed.)
R
1,700
Add to Cart
Ships in 10 - 15 working days
Validation of Stochastic Systems - A Guide to Current Research (Paperback, 2004 ed.)
R
1,796
Add to Cart
Ships in 10 - 15 working days
Tools and Algorithms for the Construction and Analysis of Systems - 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings (Paperback, 2002 ed.)
R
1,809
Add to Cart
Ships in 10 - 15 working days
Lectures on Formal Methods and Performance Analysis - First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures (Paperback, 2001 ed.)
R
1,777
Add to Cart
Ships in 10 - 15 working days
Dependable Software Engineering. Theories, Tools, and Applications - 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings (Paperback, 1st ed. 2019)
R
1,580
Add to Cart
Ships in 10 - 15 working days
ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday (Paperback, 1st ed. 2017)
R
2,776
Add to Cart
Ships in 10 - 15 working days
SAVE
R
402
Principles of Model Checking (Hardcover)
Christel Baier
,
Joost-Pieter Katoen
List Price
R
3,229
R
2,827
Add to Cart
Ships in 9 - 15 working days