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

Your search for Klaus Havelund

  1. Cover: Formal Methods - Springer
    Klaus Havelund | Jan Peleska | Bill Roscoe
    Formal Methods
    22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
    07/2018
    Springer
    9783319955827 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  2. Cover: NASA Formal Methods - Springer
    Jyotirmoy Deshmukh | Klaus Havelund | Alessandro Pinto
    NASA Formal Methods
    18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5-7, 2026, Proceedings
    approx. 07/2026
    Springer
    9783032280787 (ISBN)
    Book
    Paperback/Softback
    €79.17
    Not yet published
  3. Cover: NASA Formal Methods - Springer
    Klaus Havelund | Gerard Holzmann | Rajeev Joshi
    NASA Formal Methods
    7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
    04/2015
    Springer
    9783319175249 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  4. Cover: NASA Formal Methods - Springer
    Jyotirmoy V. Deshmukh | Klaus Havelund | Ivan Perez
    NASA Formal Methods
    14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings
    05/2022
    Springer
    9783031067730 (ISBN)
    E-Book
    PDF
    Other editions
    €128.39
    Available for download
  5. Cover: Tools and Algorithms for the Construction and Analysis of Systems - Springer
    Erika Abraham | Klaus Havelund
    Tools and Algorithms for the Construction and Analysis of Systems
    20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
    03/2014
    Springer
    9783642548628 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  6. Cover: Runtime Verification - Springer
    Howard Barringer | Ylies Falcone | Bernd Finkbeiner
    Runtime Verification
    First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
    11/2010
    Springer
    9783642166129 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  7. Cover: NASA Formal Methods - Springer
    Mihaela Bobaru | Klaus Havelund | Gerard Holzmann
    NASA Formal Methods
    Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings
    04/2011
    Springer
    9783642203985 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  8. Cover: SPIN Model Checking and Software Verification - Springer
    Klaus Havelund | John Penix | Willem Visser
    SPIN Model Checking and Software Verification
    7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings
    12/2006
    Springer
    9783540452973 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  9. Cover: Runtime Verification - Springer
    Howard Barringer | Ylies Falcone | Bernd Finkbeiner
    Runtime Verification
    First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
    10/2010
    Springer
    9783642166112 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 5-7 days
  10. Cover: NASA Formal Methods - Springer
    Mihaela Bobaru | Klaus Havelund | Gerard Holzmann
    NASA Formal Methods
    Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings
    04/2011
    1st EDN1st Edition
    Springer
    9783642203978 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  11. Cover: Tools and Algorithms for the Construction and Analysis of Systems - Springer
    Erika Abraham | Klaus Havelund
    Tools and Algorithms for the Construction and Analysis of Systems
    20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
    03/2014
    Springer
    9783642548611 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  12. Cover: Formal Methods - Springer
    Klaus Havelund | Jan Peleska | Bill Roscoe
    Formal Methods
    22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
    07/2018
    Springer
    9783319955810 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €96.29
    Shipment within 10-15 days
  13. Cover: NASA Formal Methods - Springer
    Klaus Havelund | Gerard Holzmann | Rajeev Joshi
    NASA Formal Methods
    7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
    04/2015
    Springer
    9783319175232 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  14. Cover: NASA Formal Methods - Springer
    Jyotirmoy V. Deshmukh | Klaus Havelund | Ivan Perez
    NASA Formal Methods
    14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings
    05/2022
    Springer
    9783031067723 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €139.09
    Shipment within 15-20 days
  15. Cover: Formal Approaches to Software Testing and Runtime Verification - Springer
    Klaus Havelund | Manuel Núnez | Grigore Rosu
    Formal Approaches to Software Testing and Runtime Verification
    First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
    12/2006
    Springer
    9783540496991 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  16. Cover: Model Checking Software - Springer
    Klaus Havelund | Rupak Majumdar | Jens Palsberg
    Model Checking Software
    15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings
    07/2008
    Springer
    9783540851134 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  17. Cover: SPIN Model Checking and Software Verification - Springer
    Klaus Havelund | John Penix | Willem Visser
    SPIN Model Checking and Software Verification
    7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings
    08/2000
    Springer
    9783540410300 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  18. Cover: Using Runtime Analysis to Guide Model Checking of Java Programs - Bibliogov
    Klaus Havelund
    Using Runtime Analysis to Guide Model Checking of Java Programs
    08/2013
    Bibliogov
    9781289277123 (ISBN)
    Book
    Paperback/Softback
    €33.57
    No shipping information available
  19. Cover: Java Pathfinder User Guide - Bibliogov
    Klaus Havelund
    Java Pathfinder User Guide
    08/2013
    Bibliogov
    9781289290542 (ISBN)
    Book
    Paperback/Softback
    €36.08
    Article not available for order