Treffer 1 – 9 von 9 für Suche 'Gritzner, Thomas F.', Suchdauer: 0,04s 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
    wp-Kalkül und relationale Spezifikation kommunizierender Systeme

    wp-Kalkül und relationale Spezifikation kommunizierender Systeme von Gritzner, Thomas F.

    Veröffentlicht 1996
    Inhaltsverzeichnis
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    A relation algebraic model of robust correctness

    A relation algebraic model of robust correctness von Gritzner, Thomas F., Berghammer, Rudolf 1952-

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Parallelism algebras a link between process algebras and abstract relation algebras?

    Parallelism algebras a link between process algebras and abstract relation algebras? von Gritzner, Thomas F., Broy, Manfred 1949-

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    A simple toy example of a distributed system on the design of a connecting switch

    A simple toy example of a distributed system on the design of a connecting switch von Gritzner, Thomas F.

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Wp-Kalkül und relationale Spezifikation kommunizierender Systeme

    Wp-Kalkül und relationale Spezifikation kommunizierender Systeme von Gritzner, Thomas F.

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Prototyping relational specifications using higher-order objects

    Prototyping relational specifications using higher-order objects von Berghammer, Rudolf 1952-, Gritzner, Thomas F., Schmidt, Gunther 1939-

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    The action graph model as a link between abstract relation algebras and process-algebraic specifications

    The action graph model as a link between abstract relation algebras and process-algebraic specifications von Gritzner, Thomas F.

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    A simple toy example of a distributed system on the design of a connecting switch

    A simple toy example of a distributed system on the design of a connecting switch von Gritzner, Thomas F.

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    The action graph model as a link between abstract relation algebras and process-algebraic specifications

    The action graph model as a link between abstract relation algebras and process-algebraic specifications von Gritzner, Thomas F.

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: