15 results
Type of media (2)
Availability (2)
Classification (8)
Year
Persons
Publishers
Sort by
Results per page
Filter
15 results

Your search for Orna Grumberg

  1. Cover: Model Checking, second edition - MIT Press
    Edmund M. Clarke | Orna Grumberg | Daniel Kroening
    Model Checking, second edition
    12/2018
    MIT Press
    9780262349451 (ISBN)
    E-Book
    ePUB
    Other editions
    €78.49
    Available for download
  2. Cover: Software Safety and Security - IOS Press,US
    Tobias Nipkow | Orna Grumberg
    Software Safety and Security
    Tools for Analysis and Verification
    05/2012
    1st EDN1st Edition
    IOS Press,US
    9781614990284 (ISBN)
    E-Book
    PDF
    Other editions
    €180.99
    Available for download
  3. Cover: Languages: From Formal to Natural - Springer
    Orna Grumberg | Michael Kaminski | Shmuel Katz
    Languages: From Formal to Natural
    Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
    05/2009
    Springer
    9783642017476 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 5-7 days
  4. Cover: Tools and Algorithms for the Construction and Analysis of Systems - Springer
    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 Proceedings
    03/2007
    Springer
    9783540712084 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 7-9 days
  5. Cover: Model Checking - MIT Press
    Edmund M. Clarke Jr. | Orna Grumberg | Daniel Kroening
    Model Checking
    12/2018
    2nd EDN2nd Edition
    MIT Press
    9780262038836 (ISBN)
    Book
    Hardback
    Other editions
    €89.13
    Shipment within 10-20 days
  6. Cover: 25 Years of Model Checking - Springer
    Orna Grumberg | Helmut Veith
    25 Years of Model Checking
    History, Achievements, Perspectives
    06/2008
    Springer
    9783540698494 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €37.44
    Shipment within 10-15 days
  7. Cover: Software Systems Safety - IOS Press,US
    Orna Grumberg | Helmut Seidl
    Software Systems Safety
    05/2014
    1st EDN1st Edition
    IOS Press,US
    9781614993841 (ISBN)
    Book
    Hardback
    Other editions
    €170.84
    Exhausted; check different version
  8. Cover: Software Safety and Security - IOS Press,US
    Tobias Nipkow | Orna Grumberg
    Software Safety and Security
    Tools for Analysis and Verification
    05/2012
    1st EDN1st Edition
    IOS Press,US
    9781614990277 (ISBN)
    Book
    Hardback
    Other editions
    €170.84
    Exhausted; check different version
  9. Cover: Computer Aided Verification - Springer
    Orna Grumberg
    Computer Aided Verification
    01/2014
    Springer
    9783662206973 (ISBN)
    Book
    Paperback/Softback
    €22.99
    Not available
  10. Cover: Computer Aided Verification - Springer
    Orna Grumberg
    Computer Aided Verification
    9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings
    06/1997
    Springer
    9783540631668 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  11. Cover: Formal Logical Methods for System Security and Correctness - IOS Press,US
    Orna Grumberg | Tobias Nipkow
    Formal Logical Methods for System Security and Correctness
    03/2008
    1st EDN1st Edition
    IOS Press,US
    9781586038434 (ISBN)
    Book
    Hardback
    Other editions
    €120.34
    Exhausted; check different version
  12. This image is currently not available.
    Javier Esparza | Orna Grumberg
    Dependable Software Systems Engineering
    04/2016
    1st EDN1st Edition
    IOS Press,US
    9781614996262 (ISBN)
    Book
    Hardback
    Other editions
    €170.84
    Exhausted; check different version
  13. Cover: Model Checking - MIT Press
    Edmund M. Clarke Jr. | Orna Grumberg | Doron Peleg
    Model Checking
    12/1999
    MIT Press
    9780262032704 (ISBN)
    Book
    Hardback
    €76.75
    No shipping information available
  14. Cover: Logics and Languages for Reliability and Security - IOS Press,US
    Javier Esparza | Orna Grumberg
    Logics and Languages for Reliability and Security
    03/2010
    1st EDN1st Edition
    IOS Press,US
    9781607500995 (ISBN)
    Book
    Hardback
    Other editions
    €170.84
    Exhausted; check different version
  15. This image is currently not available.
    Orna Grumberg | Michael Kaminski | Shmuel Katz
    Languages
    From Formal to Natural
    06/2009
    Springer
    9783642017490 (ISBN)
    Book
    Paperback/Softback
    €22.99
    Not available