• 

  Data Refinement: Model-Oriented Proof Methods and Their Comparison

  by Willem-Paul de Roever, Kai Engelhardt

  • See All from $64.79
  • New from $64.79
  • Collectible from $103.78
  • Eligible for FREE Shipping
  • More Books Like This | Add to Wishlist

  Recommended Copy

  $64.79

  New Softcover, 2008

  More details Add to Cart
• 

  Concurrency Verification: Introduction to Compositional and Non-compositional Methods

  by Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman

  • See All from $90.34
  • New from $90.34
  • Eligible for FREE Shipping
  • More Books Like This | Add to Wishlist

  Recommended Copy

  $90.34

  New Softcover, 2012

  More details Add to Cart
• 

  Compositionality: The Significant Difference: International Symposium, Compos'97 Bad Malente, Germany, September 8-12, 1997 Revised Lectures

  by Willem-Paul de Roever (Editor), Hans Langmaack (Editor), Amir Pnueli (Editor)

  • See All from $55.53
  • New from $103.32
  • Collectible from $84.60
  • Eligible for FREE Shipping
  • More Books Like This | Add to Wishlist
• 

  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

  by David Gries (Editor), Willem-Paul de Roever (Editor)

  • See All from $206.66
  • New from $206.66
  • Eligible for FREE Shipping
  • More Books Like This | Add to Wishlist
• 

  Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, the Netherlands, May 30 - June 3, 1988

  by Jacobus W De Bakker (Editor), Willem-Paul de Roever (Editor), Grzegorz Rozenberg (Editor)

  • See All from $103.32
  • New from $103.32
  • Eligible for FREE Shipping
  • More Books Like This | Add to Wishlist

  Recommended Copy

  $103.32

  New Softcover, 1989

  More details Add to Cart
• 

  Current Trends in Concurrency: Overviews and Tutorials

  by Jacobus W De Bakker (Editor), Willem-Paul de Roever (Editor), Grzegorz Rozenberg (Editor)

  • See All from $9.89
  • New from $103.32
  • Collectible from $41.29
  • Eligible for FREE Shipping
  • More Books Like This | Add to Wishlist

  Recommended Copy

  $9.89

  Used Softcover, 1986

  More details Add to Cart
• 

  Formal Methods for Components and Objects: 6th International Symposium, Fmco 2007, Amsterdam, the Netherlands, October 24-26, 2007, Revised Lectures

  by Marcello M Bonsangue (Editor), Susanne Graf (Editor), Willem-Paul de Roever (Editor)

  • See All from $33.38
  • New from $51.65
  • Collectible from $71.56
  • Eligible for FREE Shipping
  • More Books Like This | Add to Wishlist

  Recommended Copy

  $33.38

  Used Softcover, 2008

  More details Add to Cart
• 

  Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. Rex Workshop, Mook, the Netherlands, May 29 - June 2, 1989. Proceedings

  by Jaco W De Bakker (Editor), Willem-Paul de Roever (Editor), Grzegorz Rozenberg (Editor)

  • See All from $101.83
  • New from $103.32
  • Collectible from $101.83
  • Eligible for FREE Shipping
  • More Books Like This | Add to Wishlist

  Recommended Copy

  $101.83

  Used Softcover, 1990

  More details Add to Cart

Additional copies that match your search:

• 1. 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

  by Gries, David (Editor), and de Roever, Willem-Paul (Editor)

   
  

  

  Seller Description: New. Print on demand Trade paperback (US). Glued binding. 486 p. Contains: Unspecified. IFIP Advances in Information and Communication Technology. See More Details

  2013, Springer ISBN-13: 9781475762990 Trade paperback, New

  Alibris BEST NV, USA

  $206.66 Add to Cart

  Add to Wishlist

• 2. 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

  by Gries, David (Editor), and de Roever, Willem-Paul (Editor)

   
  

  

  Seller Description: New. Print on demand Sewn binding. Cloth over boards. 486 p. IFIP Advances in Information and Communication Technology. See More Details

  1998, Springer ISBN-13: 9780412837609 Hardcover, New

  Alibris BEST NV, USA

  $206.66 Add to Cart

  Add to Wishlist

• 3. 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

  by Gries, David (Editor), and de Roever, Willem-Paul (Editor)

   
  

  

  Seller Description: New. Sewn binding. Cloth over boards. 486 p. IFIP Advances in Information and Communication Technology. See More Details

  1998, Springer ISBN-13: 9780412837609 Hardcover, New

  Ria Christie Books HIGH Uxbridge, MIDDLESEX, UNITED KINGDOM

  $254.90 Add to Cart

  Add to Wishlist

• 4. 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

  by Gries, David (Editor), and de Roever, Willem-Paul (Editor)

   
  

  

  Seller Description: New. Trade paperback (US). Glued binding. 486 p. Contains: Unspecified. IFIP Advances in Information and Communication Technology. See More Details

  2013, Springer ISBN-13: 9781475762990 Trade paperback, New

  Ria Christie Books HIGH Uxbridge, MIDDLESEX, UNITED KINGDOM

  $254.90 Add to Cart

  Add to Wishlist

• 5. Concurrency Verification: Introduction to Compositional and Non-compositional Methods

  by Roever, Willem-Paul de, and Boer, Frank de, and Hanneman, Ulrich

   
  

  

  Seller Description: New. Print on demand Cambridge Tracts in Theoretical Computer Science . Intended for professional and scholarly audience. See More Details

  2001, Cambridge University Press ISBN-13: 9780521806084 Hardcover, New

  Alibris BEST NV, USA

  $259.16 Add to Cart

  Add to Wishlist

• 6. Concurrency Verification: Introduction to Compositional and Non-compositional Methods

  by Roever, Willem-Paul de, and Boer, Frank de, and Hanneman, Ulrich

   
  

  

  Seller Description: New. Cambridge Tracts in Theoretical Computer Science . Intended for professional and scholarly audience. See More Details

  2001, Cambridge University Press ISBN-13: 9780521806084 Hardcover, New

  Ria Christie Books HIGH Uxbridge, MIDDLESEX, UNITED KINGDOM

  $297.10 Add to Cart

  Add to Wishlist