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
Saint Philip Street Press
Springer International Publishing AG
Springer Nature Switzerland AG
Springer-Verlag
Springer-Verlag New York
Filter Results
Showing 14 of 14 Results in All Departments
Relevance
Tools and Algorithms for the Construction and Analysis of Systems (Hardcover)
Bernhard Steffen
,
Fabrice Kordon
,
Marieke Huisman
R
1,599
Add to Cart
Ships in 12 - 17 working days
Formal Methods for Embedded Distributed Systems - How to master the complexity (Hardcover, 2004 ed.)
R
3,181
Add to Cart
Ships in 10 - 15 working days
Formal Methods for Embedded Distributed Systems - How to master the complexity (Paperback, Softcover reprint of hardcover 1st ed. 2004)
R
3,004
Add to Cart
Ships in 10 - 15 working days
Reliable Software Technologies - Ada-Europe 2009 - 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings (Paperback, 2009 ed.)
R
1,582
Add to Cart
Ships in 10 - 15 working days
Reliable Software Technologies - Ada-Europe 2008 - 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings (Paperback, 2008 ed.)
R
1,583
Add to Cart
Ships in 10 - 15 working days
Composition of Embedded Systems. Scientific and Industrial Issues - 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers (Paperback, 2008 ed.)
R
1,580
Add to Cart
Ships in 10 - 15 working days
Reliable Software Technologies - Ada-Europe 2007 - 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings (Paperback, 2007 ed.)
R
1,580
Add to Cart
Ships in 10 - 15 working days
Reliable Systems on Unreliable Networked Platforms - 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers (Paperback, 2007 ed.)
R
1,593
Add to Cart
Ships in 10 - 15 working days
Transactions on Petri Nets and Other Models of Concurrency XVI (Paperback, 1st ed. 2022)
R
2,703
Add to Cart
Ships in 10 - 15 working days
Transactions on Petri Nets and Other Models of Concurrency XV (Paperback, 1st ed. 2021)
R
1,580
Add to Cart
Ships in 10 - 15 working days
Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III (Paperback, 1st ed. 2019)
R
1,710
Add to Cart
Ships in 10 - 15 working days
Challenges and Opportunity with Big Data - 19th Monterey Workshop 2016, Beijing, China, October 8 - 11, 2016, Revised Selected Papers (Paperback, 1st ed. 2017)
R
2,205
Add to Cart
Ships in 10 - 15 working days
Application and Theory of Petri Nets and Concurrency - 37th International Conference, PETRI NETS 2016, Torun, Poland, June 19-24, 2016. Proceedings (Paperback, 1st ed. 2016)
R
2,652
Add to Cart
Ships in 10 - 15 working days
Tools and Algorithms for the Construction and Analysis of Systems (Paperback)
Bernhard Steffen
,
Fabrice Kordon
,
Marieke Huisman
R
1,279
Add to Cart
Ships in 10 - 15 working days