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-Verlag
Filter Results
Showing 3 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
Compositionality, Concurrency, and Partial Correctness - Proof Theories for Networks of Processes, and Their Relationship (Paperback, 1989 ed.)
Job Zwiers
R
1,649
Add to Cart
Ships in 10 - 15 working days