• 

  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
  • Eligible for FREE Shipping
  • More Books Like This | Add to Wishlist

  Recommended Copy

  $64.79

  New Softcover, 2008

  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 $101.96
  • New from $103.32
  • Collectible from $101.96
  • Eligible for FREE Shipping
  • More Books Like This | Add to Wishlist

  Recommended Copy

  $101.96

  Used Softcover, 1998

  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
• 

  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

  Recommended Copy

  $206.66

  New Softcover, 2013

  More details Add to Cart
• 

  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 $41.29
  • New from $103.32
  • Collectible from $41.29
  • Eligible for FREE Shipping
  • More Books Like This | Add to Wishlist

  Recommended Copy

  $41.29

  Used Softcover, 1986

  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
• 

  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.33
  • New from $51.65
  • Collectible from $71.56
  • Eligible for FREE Shipping
  • More Books Like This | Add to Wishlist

  Recommended Copy

  $33.33

  Used Softcover, 2008

  More details Add to Cart

Additional copies that match your search:

• 1. Data Refinement: Model-Oriented Proof Methods and Their Comparison (Cambridge Tracts in Theoretical Computer Science, Series Number 47)

  by De Roever, Willem-Paul

   
  

  

  Seller Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. See More Details

  1999, Cambridge University Press ISBN-13: 9780521641708 hardcover, Good

  Bonita HIGH Santa Clarita, CA, USA

  $202.83 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 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

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

• 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: Fine. Trade paperback (US). Glued binding. 486 p. Contains: Unspecified. IFIP Advances in Information and Communication Technology. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers. See More Details

  2013, Springer ISBN-13: 9781475762990 Trade paperback, Fine/Like New

  GreatBookPrices HIGH Columbia, MD, USA

  $248.98 Add to Cart

  Add to Wishlist

• 5. 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: Fine. Sewn binding. Cloth over boards. 486 p. IFIP Advances in Information and Communication Technology. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers. See More Details

  1998, Springer ISBN-13: 9780412837609 Hardcover, Fine/Like New

  GreatBookPrices HIGH Columbia, MD, USA

  $249.78 Add to Cart

  Add to Wishlist

• 6. 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. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers. See More Details

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

  GreatBookPrices HIGH Columbia, MD, USA

  $251.49 Add to Cart

  Add to Wishlist