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
Lap Lambert Academic Publishing
Springer International Publishing AG
Springer-Verlag
Filter Results
Showing 3 of 3 Results in All Departments
Relevance
Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings (Paperback, 1st ed. 2017)
R
3,085
Add to Cart
Ships in 10 - 15 working days
Verification, Model Checking, and Abstract Interpretation - 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings (Paperback, 2015 ed.)
R
3,036
Add to Cart
Ships in 10 - 15 working days
Model checking trace-based information flow properties (Paperback)
Raghavendra Kagalavadi Ramesh
,
Deepak D'Souza
,
Barbara Sprick
R
1,300
Add to Cart
Ships in 10 - 15 working days