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
Cambridge UniversityPress
Springer London
Springer Nature Switzerland AG
Springer-Verlag
Filter Results
Showing 7 of 7 Results in All Departments
Relevance
Verification of Sequential and Concurrent Programs (Hardcover, 3rd ed. 2009, Corr. 3rd printing 2010)
Krzysztof R. Apt
,
Frank S De Boer
,
Ernst-Rudiger Olderog
R
3,295
Add to Cart
Ships in 12 - 17 working days
Model Checking, Synthesis, and Learning - Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday (Paperback, 1st ed. 2021)
R
1,949
Add to Cart
Ships in 10 - 15 working days
Real-Time Systems - Formal Specification and Automatic Verification (Hardcover)
Ernst-Rudiger Olderog
,
Henning Dierks
R
2,414
Add to Cart
Ships in 12 - 17 working days
Verification of Sequential and Concurrent Programs (Paperback, Softcover reprint of hardcover 3rd ed. 2009)
Krzysztof R. Apt
,
Frank S De Boer
,
Ernst-Rudiger Olderog
R
2,560
Add to Cart
Ships in 10 - 15 working days
Formal Techniques in Real-Time and Fault-Tolerant Systems - 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings (Paperback, 2002 ed.)
R
1,792
Add to Cart
Ships in 10 - 15 working days
Correct System Design - Recent Insights and Advances (Paperback, 1999 ed.)
R
1,770
Add to Cart
Ships in 10 - 15 working days
Programmverifikation - Sequentielle, Parallele Und Verteilte Programme (German, Hardcover, 1994 ed.)
Krzysztof R. Apt
,
Ernst-Rudiger Olderog
R
1,176
Add to Cart
Ships in 10 - 15 working days