All Departments
Hi
ALL DEPARTMENTS
Daily
deals
My Orders
Wishlist
Help
Sell On Loot
Arts & Crafts
Baby
Books
Computers
DIY & Tools
Electronics
Fashion
Fragrances
Games
Garden
Health & Beauty
Home
Kitchen & Appliances
Movies & TV
Music
Outdoor
Pets
Sport
Stationery & Office
Toys
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 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,064
Add to Cart
Ships in 10 - 15 working days
Program Development by Refinement - Case Studies Using the B Method (Paperback, 1999 ed.)
R
5,901
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,636
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,652
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,752
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