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

Your search for Gerard Holzmann

  1. 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
  2. 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
  3. 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
  4. Cover: SPIN Model Checker, The - Addison Wesley
    Gerard Holzmann
    SPIN Model Checker, The
    Primer and Reference Manual
    06/2011
    Addison Wesley
    9780321773715 (ISBN)
    Book
    Paperback/Softback
    €64.36
    Article not available at the moment
  5. 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