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
Chapman and Hall
Springer-Verlag
Springer-Verlag New York
Filter Results
Showing 17 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
Data Refinement - Model-Oriented Proof Methods and their Comparison (Paperback)
Willem-Paul De Roever
,
Kai Engelhardt
R
1,599
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
Data Refinement - Model-Oriented Proof Methods and their Comparison (Hardcover, New)
Willem-Paul De Roever
,
Kai Engelhardt
R
3,132
Add to Cart
Ships in 12 - 17 working days
Programming Concepts and Methods PROCOMET '98 - IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA (Paperback, Softcover reprint of the original 1st ed. 1998)
R
5,823
Add to Cart
Ships in 10 - 15 working days
Formal Methods for Components and Objects - 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures (Paperback, 2007 ed.)
R
1,561
Add to Cart
Ships in 10 - 15 working days
Formal Methods for Components and Objects - 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures (Paperback, 2006 ed.)
R
1,751
Add to Cart
Ships in 10 - 15 working days
Formal Methods for Components and Objects - Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures (Paperback, 2005 ed.)
R
1,683
Add to Cart
Ships in 10 - 15 working days
Formal Methods for Components and Objects - Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures (Paperback, 2004 ed.)
R
1,715
Add to Cart
Ships in 10 - 15 working days
Formal Methods for Components and Objects - First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures (Paperback, 2003 ed.)
R
1,800
Add to Cart
Ships in 10 - 15 working days
Compositionality: The Significant Difference - International Symposium, COMPOS'97 Bad Malente, Germany, September 8-12, 1997 Revised Lectures (Paperback, 1998 ed.)
R
3,289
Add to Cart
Ships in 10 - 15 working days
Programming Concepts and Methods PROCOMET '98 - IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA (Hardcover, 1998 ed.)
R
6,071
Add to Cart
Ships in 10 - 15 working days
Formal Techniques in Real-Time and Fault-Tolerant Systems - Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lubeck, Germany, September 19 - 23, 1994. Proceedings (Paperback, 1994 ed.)
R
3,383
Add to Cart
Ships in 10 - 15 working days
Stepwise Refinement of Distributed Systems - Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings (Paperback, 1990 ed.)
R
3,391
Add to Cart
Ships in 10 - 15 working days
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency - School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988 (Paperback, 1989 ed.)
R
3,330
Add to Cart
Ships in 10 - 15 working days
Current Trends in Concurrency - Overviews and Tutorials (Paperback, 1986 ed.)
R
3,334
Add to Cart
Ships in 10 - 15 working days
Formal Methods for Components and Objects - 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures (Paperback, 2008 ed.)
R
1,566
Add to Cart
Ships in 10 - 15 working days