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
Springer London
Springer-Verlag
Filter Results
Showing 10 of 10 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
Formal Methods for Components and Objects - 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers (Paperback, 2013 ed.)
R
1,603
Add to Cart
Ships in 10 - 15 working days
Theoretical Computer Science - 7th IFIP TC1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012, Proceedings (Paperback, 2012 ed.)
R
1,613
Add to Cart
Ships in 10 - 15 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 Methods for Components and Objects - 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures (Paperback, 2007 ed.)
R
1,584
Add to Cart
Ships in 10 - 15 working days
Formal Methods for Components and Objects - 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures (Paperback, 2006 ed.)
R
1,775
Add to Cart
Ships in 10 - 15 working days
Formal Methods for Components and Objects - Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures (Paperback, 2005 ed.)
R
1,707
Add to Cart
Ships in 10 - 15 working days
Formal Methods for Components and Objects - Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures (Paperback, 2004 ed.)
R
1,738
Add to Cart
Ships in 10 - 15 working days
Formal Methods for Components and Objects - First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures (Paperback, 2003 ed.)
R
1,823
Add to Cart
Ships in 10 - 15 working days
Formal Methods for Components and Objects - 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures (Paperback, 2013 ed.)
R
2,175
Add to Cart
Ships in 10 - 15 working days