Treffer 1 – 4 von 4 für Suche 'Stomp, Frank A.', 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
    Structured design of self-stabilizing programs extended abstract

    Structured design of self-stabilizing programs extended abstract von Stomp, Frank A.

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Principles for sequential reasoning about distributed algorithms

    Principles for sequential reasoning about distributed algorithms von Stomp, Frank A., Roever, Willem-Paul de 1943-

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    A principle for sequential reasoning about distributed algorithms

    A principle for sequential reasoning about distributed algorithms von Stomp, Frank A., Roever, Willem-Paul de 1943-

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    A proof system for asynchronously communicating sequential processes

    A proof system for asynchronously communicating sequential processes von Francez, Nissim, Stomp, Frank A.

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: