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
Brand
Springer International Publishing AG
Springer London
Springer Nature Switzerland AG
Springer-Verlag
Filter Results
Showing 19 of 19 Results in All Departments
Relevance
Formal Methods: State of the Art and New Directions (Hardcover, 2010 ed.)
R
3,188
Add to Cart
Ships in 10 - 15 working days
Electronic Visualisation in Arts and Culture (Hardcover, 2013 ed.)
R
4,664
Add to Cart
Ships in 12 - 17 working days
Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday (1st ed. 2023)
R
2,261
Add to Cart
Ships in 10 - 15 working days
Engineering Trustworthy Software Systems - Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures (Paperback, 1st ed. 2018)
R
1,580
Add to Cart
Ships in 10 - 15 working days
Formal Methods: State of the Art and New Directions (Paperback, 2010 ed.)
R
3,006
Add to Cart
Ships in 10 - 15 working days
Abstract State Machines, B and Z - First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings (Paperback, 2008 ed.)
R
1,613
Add to Cart
Ships in 10 - 15 working days
Formal Methods and Testing - An Outcome of the FORTEST Network. Revised Selected Papers (Paperback, 2008 ed.)
R
1,610
Add to Cart
Ships in 10 - 15 working days
ZB 2003: Formal Specification and Development in Z and B - Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings (Paperback, 2003 ed.)
R
3,277
Add to Cart
Ships in 10 - 15 working days
ZB 2002: Formal Specification and Development in Z and B - 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings (Paperback, 2002 ed.)
R
1,842
Add to Cart
Ships in 10 - 15 working days
ZB 2000: Formal Specification and Development in Z and B - First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings (Paperback, 2000)
R
1,830
Add to Cart
Ships in 10 - 15 working days
Industrial-Strength Formal Methods in Practice (Paperback, 1999 ed.)
R
4,734
Add to Cart
Ships in 10 - 15 working days
High-Integrity System Specification and Design (Paperback, Softcover reprint of the original 1st ed. 1999)
Jonathan P. Bowen
,
Michael G. Hinchey
R
1,715
Add to Cart
Ships in 10 - 15 working days
ZUM '98: The Z Formal Specification Notation - 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings (Paperback, 1998 ed.)
R
1,770
Add to Cart
Ships in 10 - 15 working days
ZUM'97: The Z Formal Specification Notation - 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings (Paperback, 1997 ed.)
R
1,779
Add to Cart
Ships in 10 - 15 working days
ZUM '95: The Z Formal Specification Notation - 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings (Paperback, 1995 ed.)
R
3,296
Add to Cart
Ships in 10 - 15 working days
Engineering Trustworthy Software Systems - 5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures (Paperback, 1st ed. 2020)
R
1,580
Add to Cart
Ships in 10 - 15 working days
Engineering Trustworthy Software Systems - Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures (Paperback, 1st ed. 2017)
R
2,379
Add to Cart
Ships in 10 - 15 working days
Unifying Theories of Programming - 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers (Paperback, 1st ed. 2017)
R
2,230
Add to Cart
Ships in 10 - 15 working days
Engineering Trustworthy Software Systems - 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures (Paperback, 1st ed. 2019)
R
1,839
Add to Cart
Ships in 10 - 15 working days