Warehouse Stock Clearance Sale

Grab a bargain today!

  1. Search
  2. All Products
Refine By
Category
Computers (4)
Science (3)
Professional & Vocational (1)
Nonfiction (1)
Sold By
All Sellers
Fishpond (4)
Format
All Formats
Paperback (3)
Hardback (1)
    Results for "Helmut Veith"
    Helmut Veith
    4 results
    Refine By
    Category
    Computers (4)
    Science (3)
    Professional & Vocational (1)
    Nonfiction (1)
    Sold By
    All Sellers
    Fishpond (4)
    Format
    All Formats
    Paperback (3)
    Hardback (1)
      4 results
      • Bestselling
      • Relevance
      • Price: Lowest
      Sort By
      View:
      25 Years of Model Checking (History, Achievements, Perspectives (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))
      By Orna Grumberg, Helmut Veith
      25 Years of Model Checking (History, Achievements, Perspectives (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))
      By Orna Grumberg, Helmut Veith
      $63.74
      Logic for Programming, ­Artificial Intelligence, and­ Reasoning (15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceeding)
      By Iliano Cervesato, Helmut Veith, Andrei Voronkov
      Logic for Programming, ­Artificial Intelligence, and­ Reasoning (15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceeding)
      By Iliano Cervesato, Helmut Veith, Andrei Voronkov
      $174
      Computer Aided Verification (25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings (Theoretical Computer Science and General Issues))
      By Natasha Sharygina, Helmut Veith
      Computer Aided Verification (25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings (Theoretical Computer Science and General Issues))
      By Natasha Sharygina, Helmut Veith
      $178
      Handbook of Model Checking
      By Edmund M. Clarke, Jr., Thomas A. Henzinger, Helmut Veith, Roderick Bloem
      Handbook of Model Checking
      By Edmund M. Clarke, Jr., Thomas A. Henzinger, Helmut Veith, Roderick Bloem
      $244