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

Your search for Ofer Strichman

  1. Cover: Decision Procedures - Springer
    Daniel Kroening | Ofer Strichman
    Decision Procedures
    An Algorithmic Point of View
    11/2016
    2nd EDN2nd Edition
    Springer
    9783662504970 (ISBN)
    E-Book
    PDF
    Other editions
    €64.19
    Available for download
  2. Cover: Hardware and Software: Verification and Testing - Springer
    Ofer Strichman | Rachel Tzoref-Brill
    Hardware and Software: Verification and Testing
    13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
    11/2017
    Springer
    9783319703893 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Theory and Applications of Satisfiability Testing - SAT 2010 - Springer
    Ofer Strichman | Stefan Szeider
    Theory and Applications of Satisfiability Testing - SAT 2010
    13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings
    07/2010
    Springer
    9783642141867 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  4. Cover: Decision Procedures - Springer
    Daniel Kroening | Ofer Strichman
    Decision Procedures
    An Algorithmic Point of View
    04/2008
    1st EDN1st Edition
    Springer
    9783540741053 (ISBN)
    E-Book
    PDF
    Other editions
    €69.54
    Available for download
    New edition available
  5. Cover: Theory and Applications of Satisfiability Testing - SAT 2010 - Springer
    Ofer Strichman | Stefan Szeider
    Theory and Applications of Satisfiability Testing - SAT 2010
    13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings
    06/2010
    Springer
    9783642141850 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 5-7 days
  6. Cover: Decision Procedures - Springer
    Daniel Kroening | Ofer Strichman
    Decision Procedures
    An Algorithmic Point of View
    01/2017
    2nd EDN2nd Edition
    Springer
    9783662504963 (ISBN)
    Book
    Hardback
    Other editions
    €85.59
    Shipment within 7-9 days
  7. Cover: Decision Procedures - Springer
    Daniel Kroening | Ofer Strichman
    Decision Procedures
    An Algorithmic Point of View
    07/2018
    2nd EDN2nd Edition
    Springer
    9783662570654 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €64.19
    Shipment within 7-9 days
  8. Cover: Decision Procedures - Springer
    Daniel Kroening | Ofer Strichman
    Decision Procedures
    An Algorithmic Point of View
    05/2008
    Springer
    9783540741046 (ISBN)
    Book
    Hardback
    Other editions
    €69.54
    Shipment within 7-9 days
    New edition available
  9. Cover: Hardware and Software: Verification and Testing - Springer
    Ofer Strichman | Rachel Tzoref-Brill
    Hardware and Software: Verification and Testing
    13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
    11/2017
    Springer
    9783319703886 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  10. Cover: Efficient Decision Procedures for Validation - LAP Lambert Academic Publishing
    Ofer Strichman
    Efficient Decision Procedures for Validation
    Translation Validation, decision procedures for equality logic, and SAT tuning for Bounded Model Checking
    04/2018
    LAP Lambert Academic Publishing
    9783838300825 (ISBN)
    Book
    Paperback/Softback
    €49.00
    Shipment within 7-9 days
  11. Cover: Decision Procedures - Springer
    Daniel Kroening | Ofer Strichman
    Decision Procedures
    An Algorithmic Point of View
    11/2010
    Springer
    9783642093449 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.45
    Exhausted; check for reprint
    New edition available