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

Your search for Daniel Kroening

  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: Validation of Evolving Software - Springer
    Hana Chockler | Daniel Kroening | Leonardo Mariani
    Validation of Evolving Software
    07/2015
    1st EDN1st Edition
    Springer
    9783319106236 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Verified Software: Theories, Tools and Experiments - Springer
    Dimitra Giannakopoulou | Daniel Kroening
    Verified Software: Theories, Tools and Experiments
    6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
    10/2014
    Springer
    9783319121543 (ISBN)
    E-Book
    PDF
    Other editions
    €50.28
    Available for download
  4. Cover: Computer Aided Verification - Springer
    Daniel Kroening | Corina S. Pasareanu
    Computer Aided Verification
    27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
    07/2015
    Springer
    9783319216683 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  5. Cover: Computer Aided Verification - Springer
    Daniel Kroening | Corina S. Pasareanu
    Computer Aided Verification
    27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
    07/2015
    Springer
    9783319216904 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  6. 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
  7. Cover: Hardware and Software: Verification and Testing - Springer
    Sharon Barner | Ian Harris | Daniel Kroening
    Hardware and Software: Verification and Testing
    6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
    03/2011
    Springer
    9783642195839 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  8. 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
  9. 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
  10. 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
  11. 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
  12. Cover: Hardware and Software: Verification and Testing - Springer
    Sharon Barner | Ian Harris | Daniel Kroening
    Hardware and Software: Verification and Testing
    6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
    03/2011
    Springer
    9783642195822 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  13. 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
  14. Cover: Validation of Evolving Software - Springer
    Hana Chockler | Daniel Kroening | Leonardo Mariani
    Validation of Evolving Software
    10/2016
    Springer
    9783319382005 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  15. Cover: Validation of Evolving Software - Springer
    Hana Chockler | Daniel Kroening | Leonardo Mariani
    Validation of Evolving Software
    07/2015
    Springer
    9783319106229 (ISBN)
    Book
    Hardback
    Other editions
    €53.49
    Shipment within 10-15 days
  16. Cover: Verified Software: Theories, Tools and Experiments - Springer
    Dimitra Giannakopoulou | Daniel Kroening
    Verified Software: Theories, Tools and Experiments
    6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
    10/2014
    Springer
    9783319121536 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €51.36
    Shipment within 10-15 days
  17. Cover: Computer Aided Verification - Springer
    Daniel Kroening | Corina S. Pasareanu
    Computer Aided Verification
    27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
    07/2015
    Springer
    9783319216676 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  18. Cover: Computer Aided Verification - Springer
    Daniel Kroening | Corina S. Pasareanu
    Computer Aided Verification
    27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
    07/2015
    Springer
    9783319216898 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  19. 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