7 results
Availability (2)
Classification (4)
Year
Persons
Publishers
Sort by
Results per page
Filter
7 results

Your search for Gerard J. Holzmann

  1. Cover: Partial Order Methods in Verification - American Mathematical Society
    Doron Peled | Vaughan R. Pratt | Gerard J. Holzmann
    Partial Order Methods in Verification
    04/1997
    American Mathematical Society
    9780821805794 (ISBN)
    Book
    Hardback
    Other editions
    €154.50
    Shipment within 10-20 days
  2. Cover: The SPIN Model Checker - Addison Wesley
    Gerard J. Holzmann
    The SPIN Model Checker
    Primer and Reference Manual
    09/2003
    Addison Wesley
    9780321228628 (ISBN)
    Book
    Hardback
    €66.84
    Exhausted; no reprint
  3. Cover: Design And Validation Of Computer Protocols - Prentice Hall
    Gerard J. Holzmann
    Design And Validation Of Computer Protocols
    11/1990
    Prentice Hall
    9780135399255 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €88.76
    Exhausted; no reprint
  4. This image is currently not available.
    Gerard J. Holzmann
    Design and Validation of Computer Protocols
    11/1990
    Pearson Education (US)
    9780135398340 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €35.29
    Exhausted; check for reprint
    New edition available
  5. This image is currently not available.
    Gerard J. Holzmann
    Digital Darkroom Software
    01/1989
    Prentice Hall PTR
    9780132127479 (ISBN)
    Book
    Paperback/Softback
    €35.84
    Exhausted; no reprint
  6. This image is currently not available.
    Gerard J. Holzmann
    Beyond Photography
    Digital Darkroom
    04/1988
    Prentice Hall
    9780130744104 (ISBN)
    Book
    Paperback/Softback
    €15.48
    Exhausted; no reprint
  7. Cover: The Early History of Data Networks - IEEE Computer Society Press,U.S.
    Gerard J. Holzmann | Bjoern Pehrson
    The Early History of Data Networks
    11/1994
    1st EDN1st Edition
    IEEE Computer Society Press,U.S.
    9780818667824 (ISBN)
    Book
    Paperback/Softback
    €99.50
    Article not available for order