• 

  25 Years of Model Checking: History, Achievements, Perspectives

  by Orna Grumberg (Editor), Helmut Veith (Editor)

  • See All from $33.87
  • New from $33.87
  • eBook from $10.50
  • Collectible from $64.16
  • Eligible for FREE Shipping
  • More Books Like This | Add to Wishlist

  Recommended Copy

  $33.87

  New Softcover, 2008

  More details Add to Cart
• 

  Handbook of Model Checking

  by Edmund M Clarke (Editor), Thomas A Henzinger (Editor), Helmut Veith (Editor)

  • See All from $178.75
  • New from $178.75
  • eBook from $48.00
  • Collectible from $178.76
  • More Books Like This | Add to Wishlist
• 

  Dance of the Hours (1990)

  by Ernst Zintl (horn), Franz Loffler (viola), Hans-Georg Arlt (violin), Hans-Joachim Stelzer (clarinet), Heinz Stanske (violin), Helmut Wiesbeck (violin), Karl Veith (cello), Rudolf Risavy (violin), Willi Stech (piano)

  • See All from $5.95
  • More Music Like This | Add to Wishlist

  Recommended Copy

  $5.95

  Used CD, 1990

  More details Add to Cart
• 

  Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings

  by Iliano Cervesato (Editor), Helmut Veith (Editor), Andrei Voronkov (Editor)

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

  Recommended Copy

  $78.96

  New Softcover, 2008

  More details Add to Cart
• 

  Computer Science Logic

  by Anuj Dawar (Editor), Helmut Veith (Editor)

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

  Recommended Copy

  $51.65

  New Softcover, 2010

  More details Add to Cart
• 

  Computer Aided Verification: 25th International Conference, Cav 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings

  by Natasha Sharygina (Editor), Helmut Veith (Editor)

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

  Recommended Copy

  $103.32

  New Softcover, 2013

  More details Add to Cart

Additional copies that match your search:

• 1. Handbook of Model Checking

  by Clarke, Edmund M., Jr. (Editor), and Henzinger, Thomas A. (Editor), and Veith, Helmut (Editor)

   
  

  

  Seller Description: Fine. Contains: Illustrations, black & white, Illustrations, color. XLVIII, 1212 p. 220 illus., 6 illus. in color. Intended for college/higher education audience. 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 ... See More Details

  2018, Springer International Publishing AG ISBN-13: 9783319105741 Hardcover, Fine/Like New

  GreatBookPrices HIGH Columbia, MD, USA

  $228.71 Add to Cart

  Add to Wishlist