Treffer 1 – 12 von 12 für Suche 'Holzmann, Gerard J.', Suchdauer: 0,03s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    The spin model checker primer and reference manual

    The spin model checker primer and reference manual von Holzmann, Gerard J.

    Veröffentlicht 2003
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Design and validation of computer protocols

    Design and validation of computer protocols von Holzmann, Gerard J.

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    The design of coordination schemes

    The design of coordination schemes von Holzmann, Gerard J.

    Veröffentlicht 1980
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    The spin model checker primer and reference manual

    The spin model checker primer and reference manual von Holzmann, Gerard J.

    Veröffentlicht 2004
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    The early history of data networks

    The early history of data networks von Holzmann, Gerard J., Pehrson, Björn

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    The analysis of message passing systems

    The analysis of message passing systems von Holzmann, Gerard J.

    Veröffentlicht 1981
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    The spin model checker primer and reference manual

    The spin model checker primer and reference manual von Holzmann, Gerard J.

    Veröffentlicht 2008
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    The spin model checker primer and reference manual

    The spin model checker primer and reference manual von Holzmann, Gerard J.

    Veröffentlicht 2006
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    The spin model checker primer and reference manual

    The spin model checker primer and reference manual von Holzmann, Gerard J.

    Veröffentlicht 2005
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    The early history of data networks

    The early history of data networks von Holzmann, Gerard J., Pehrson, Björn

    Veröffentlicht 1995
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Design and validation of computer protocols

    Design and validation of computer protocols von Holzmann, Gerard J.

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Coordination problems in multiprocessing systems

    Coordination problems in multiprocessing systems von Holzmann, Gerard J.

    Veröffentlicht 1979
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: