Treffer 1 – 3 von 3 für Suche 'Levin, Gary M.', Suchdauer: 0,02s 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
    Proof rules for communicating sequential processes

    Proof rules for communicating sequential processes von Levin, Gary M.

    Veröffentlicht 1980
    Abschlussarbeit Mikrofilm Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    A proof technique for communicating sequential processes (with an example)

    A proof technique for communicating sequential processes (with an example) von Levin, Gary M.

    Veröffentlicht 1979
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Proof rules for communicating sequential processes

    Proof rules for communicating sequential processes von Levin, Gary M.

    Veröffentlicht 1980
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: