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
Crc Press
Productivity Press
Springer International Publishing AG
Springer London
Springer Nature Switzerland AG
Springer-Verlag
Filter Results
Showing 7 of 7 Results in All Departments
Relevance
From Action Systems to Distributed Systems - The Refinement Approach (Paperback)
R
1,453
Add to Cart
Ships in 12 - 17 working days
FM 2006: Formal Methods - 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings (Paperback, 2006 ed.)
R
3,111
Add to Cart
Ships in 10 - 15 working days
Program Development by Refinement - Case Studies Using the B Method (Paperback, 1999 ed.)
R
5,995
Add to Cart
Ships in 10 - 15 working days
Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II (Paperback, 1st ed. 2020)
R
1,675
Add to Cart
Ships in 10 - 15 working days
Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I (Paperback, 1st ed. 2020)
R
1,659
Add to Cart
Ships in 10 - 15 working days
Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings (Paperback, 2014 ed.)
R
2,776
Add to Cart
Ships in 10 - 15 working days
From Action Systems to Distributed Systems - The Refinement Approach (Hardcover)
R
5,203
Add to Cart
Ships in 12 - 17 working days