Warehouse Stock Clearance Sale

Grab a bargain today!

  1. Search
  2. All Products
Sold By
All Sellers
Fishpond (6)
Format
All Formats
Paperback (4)
Hardback (2)
    Results for "Orna Grumberg"
    Orna Grumberg
    6 results
    Sold By
    All Sellers
    Fishpond (6)
    Format
    All Formats
    Paperback (4)
    Hardback (2)
      6 results
      • Bestselling
      • Relevance
      • Price: Lowest
      Sort By
      View:
      Model Checking (Cyber Physical Systems Series)
      By Jr., Edmund M. Clarke, Grumberg, Orna, Daniel Kroening, Doron Peled
      Model Checking (Cyber Physical Systems Series)
      By Jr., Edmund M. Clarke, Grumberg, Orna, Daniel Kroening, Doron Peled
      $123
      Model Checking (Cyber Physical Systems Series)
      By Clarke, Edmund M., Jr., Orna, Doron Peleg
      Model Checking (Cyber Physical Systems Series)
      By Clarke, Edmund M., Jr., Orna, Doron Peleg
      $67.47 Elsewhere $107.80 Save $40.33 (37%)
      24
      Computer Aided Verification (9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997 : Proceedings (Lecture Notes in Computer Science))
      By Orna Grumberg
      Computer Aided Verification (9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997 : Proceedings (Lecture Notes in Computer Science))
      By Orna Grumberg
      $105
      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
      $61.64
      Tools and Algorithms for ­the Construction and ­Analysis of Systems (13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceeding)
      By Orna Grumberg, Michael Huth
      Tools and Algorithms for ­the Construction and ­Analysis of Systems (13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceeding)
      By Orna Grumberg, Michael Huth
      $180
      Languages: From Formal to ­Natural (Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday (Programming and Software Engineering) (Lecture Notes in Computer Science))
      By Orna Grumberg, Michael A. Kaminski, Shmuel Katz, Shuly Wintner
      Languages: From Formal to ­Natural (Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday (Programming and Software Engineering) (Lecture Notes in Computer Science))
      By Orna Grumberg, Michael A. Kaminski, Shmuel Katz, Shuly Wintner
      $89.95