Treffer 1 - 18 von 18 für Suche 'Holzmann, Gerard J.', Suchdauer: 0,24s Treffer weiter einschränken
  1. 1
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Design and validation of computer protocols
    von Holzmann, Gerard J.
    Veröffentlicht 1991
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  3. 3
    ˜Theœ spin model checker : primer and reference manual
    von Holzmann, Gerard J.
    Veröffentlicht 2003
    Klappentext
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  4. 4
    von Holzmann, Gerard J.
    Veröffentlicht 1979
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  5. 5
    von Holzmann, Gerard J.
    Veröffentlicht 1979
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Beyond photography : the digital darkroom
    von Holzmann, Gerard J.
    Veröffentlicht 1988
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  7. 7
    von Holzmann, Gerard J.
    Veröffentlicht 1981
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  8. 8
    The spin model checker : primer and reference manual
    von Holzmann, Gerard J.
    Veröffentlicht 2005
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  9. 9
    The spin model checker : primer and reference manual
    von Holzmann, Gerard J.
    Veröffentlicht 2006
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  10. 10
    von Holzmann, Gerard J.
    Veröffentlicht 1980
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  11. 11
    von Holzmann, Gerard J.
    Veröffentlicht 1987
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Design and validation of computer protocols
    von Holzmann, Gerard J.
    Veröffentlicht 1991
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Design and validation of computer protocols
    von Holzmann, Gerard J.
    Veröffentlicht 1991
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  14. 14
    ˜Theœ early history of data networks
    von Holzmann, Gerard J.
    Veröffentlicht 1995
    Publisher description
    Table of contents
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  15. 15
    von Holzmann, Gerard J.
    Veröffentlicht in Spektrum der Wissenschaft (1994)
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  16. 16
    The early history of data networks
    von Holzmann, Gerard J.
    Veröffentlicht 1995
    Inhaltsverzeichnis
    Table of contents
    Publisher description
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Partial order methods in verification : DIMACS workshop July 24-26, 1996
    Veröffentlicht 1997
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  18. 18
    The SPIN verification system : proceedings of a DIMACS workshop, August 5, 1996
    Veröffentlicht 1997
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: