Treffer 1 – 2 von 2 für Suche 'Zhou, Chaochen 1937-', 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
    Partial correctness of communicating processes and protocols

    Partial correctness of communicating processes and protocols von Zhou, Chaochen 1937-, Hoare, Charles A. R. 1934-

    Veröffentlicht 1981
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Duration calculus a formal approach to real-time systems

    Duration calculus a formal approach to real-time systems von Zhou, Chaochen 1937-, Hansen, Michael R. 1956-

    Veröffentlicht 2004
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: