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
Springer London
Springer-Verlag
Springer-Verlag New York
Filter Results
Showing 11 of 11 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
The Temporal Logic of Reactive and Concurrent Systems - Specification (Hardcover, 1992 ed.)
Zohar Manna
,
Amir Pnueli
R
3,618
Add to Cart
Ships in 12 - 17 working days
SAVE
R
969
Temporal Verification of Reactive Systems - Safety (Hardcover, 1995 ed.)
Zohar Manna
,
Amir Pnueli
List Price
R
4,267
R
3,298
Add to Cart
Ships in 12 - 17 working days
The Temporal Logic of Reactive and Concurrent Systems - Specification (Paperback, Softcover reprint of the original 1st ed. 1992)
Zohar Manna
,
Amir Pnueli
R
1,542
Out of Stock
Out of stock
Temporal Verification of Reactive Systems - Safety (Paperback, 1995)
Zohar Manna
,
Amir Pnueli
R
3,152
Out of Stock
Out of stock
Verification of Sequential and Concurrent Programs (Paperback, Softcover reprint of hardcover 3rd ed. 2009)
Krzysztof R. Apt
,
Frank S De Boer
,
Ernst-Rudiger Olderog
List Price
R
1,677
R
1,636
Out of Stock
Out of stock
SAVE
R
1,938
Perspectives of Systems Informatics - 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers (Paperback, Edition.)
List Price
R
2,693
R
755
Out of Stock
Out of stock
SAVE
R
2,360
Hybrid Systems: Computation and Control - 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings (Paperback, 2003 ed.)
List Price
R
3,365
R
1,005
Out of Stock
Out of stock
Compositionality: The Significant Difference - International Symposium, COMPOS'97 Bad Malente, Germany, September 8-12, 1997 Revised Lectures (Paperback, 1998 ed.)
R
2,142
Out of Stock
Out of stock
Temporal Logic in Specification - Altrincham, UK, April 8-10, 1987, Proceedings (Paperback, 1989 ed.)
R
1,697
Out of Stock
Out of stock
MetaSoft Primer - Towards a Metalanguage for Applied Denotational Semantics (Paperback, 1987 ed.)
Andrzej Blikle
R
1,509
Out of Stock
Out of stock