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

Your search for Helmut Veith

  1. Cover: Handbook of Model Checking - Springer
    Edmund M. Clarke | Thomas A. Henzinger | Helmut Veith
    Handbook of Model Checking
    05/2018
    Springer
    9783319105758 (ISBN)
    E-Book
    PDF
    Other editions
    €149.79
    Available for download
  2. 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
  3. Cover: Computer Aided Verification - Springer
    Natasha Sharygina | Helmut Veith
    Computer Aided Verification
    25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings
    07/2013
    Springer
    9783642397998 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  4. Cover: Handbook of Model Checking - Springer
    Edmund M. Clarke | Thomas A. Henzinger | Helmut Veith
    Handbook of Model Checking
    06/2018
    Springer
    9783319105741 (ISBN)
    Book
    Hardback
    Other editions
    €149.79
    Available immediately
  5. Cover: Handbook of Model Checking - Springer
    Edmund M. Clarke | Thomas A. Henzinger | Helmut Veith
    Handbook of Model Checking
    11/2020
    Springer
    9783030132330 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €139.09
    Shipment within 7-9 days
  6. Cover: Computer Science Logic - Springer
    Anuj Dawar | Helmut Veith
    Computer Science Logic
    24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings
    08/2010
    Springer
    9783642152054 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  7. Cover: Computer Science Logic - Springer
    Anuj Dawar | Helmut Veith
    Computer Science Logic
    24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings
    08/2010
    1st EDN1st Edition
    Springer
    9783642152047 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 5-7 days
  8. Cover: Logic for Programming, Artificial Intelligence, and Reasoning - Springer
    Iliano Cervesato | Helmut Veith | Andrei Voronkov
    Logic for Programming, Artificial Intelligence, and Reasoning
    15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings
    11/2008
    Springer
    9783540894384 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 7-9 days
  9. Cover: Computer Aided Verification - Springer
    Natasha Sharygina | Helmut Veith
    Computer Aided Verification
    25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings
    07/2013
    Springer
    9783642397981 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 7-9 days
  10. 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
  11. 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