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
Cambridge UniversityPress
Springer International Publishing AG
Springer Nature Switzerland AG
Filter Results
Showing 5 Results in All Departments
Relevance
Concurrency Verification - Introduction to Compositional and Non-compositional Methods (Paperback)
Willem-Paul De Roever
,
Frank De Boer
,
Ulrich Hanneman
,
Jozef Hooman
,
Yassine Lakhnech
,
Mannes Poel
,
Job Zwiers
R
2,204
Add to Cart
Ships in 12 - 17 working days
Concurrency Verification - Introduction to Compositional and Non-compositional Methods (Hardcover)
Willem-Paul De Roever
,
Frank De Boer
,
Ulrich Hanneman
,
Jozef Hooman
,
Yassine Lakhnech
,
Mannes Poel
,
Job Zwiers
R
6,598
Add to Cart
Ships in 12 - 17 working days
It's All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab (Paperback, 1st ed. 2018)
R
1,557
Add to Cart
Ships in 10 - 15 working days
Software Engineering and Formal Methods - 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings (Paperback, 1st ed. 2020)
R
1,699
Add to Cart
Ships in 10 - 15 working days
FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings (Paperback, 2015 ed.)
R
3,446
Add to Cart
Ships in 10 - 15 working days