Treffer 1 – 7 von 7 für Suche 'Brookes, Stephen D.', 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
    Deadlock analysis in networks of communicating processes

    Deadlock analysis in networks of communicating processes von Brookes, Stephen D., Roscoe, A. W.

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Reasoning about synchronous systems

    Reasoning about synchronous systems von Brookes, Stephen D.

    Veröffentlicht 1984
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    A theory of communicating sequential processes

    A theory of communicating sequential processes von Hoare, Charles A. R. 1934-, Brookes, Stephen D., Roscoe, A. W.

    Veröffentlicht 1981
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    A model for communicating sequential processes

    A model for communicating sequential processes von Brookes, Stephen D.

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    A model for communicating sequential processes

    A model for communicating sequential processes von Brookes, Stephen D.

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    A theory of communicating sequential processes

    A theory of communicating sequential processes von Hoare, Charles A. R. 1934-, Brookes, Stephen D., Roscoe, A. W.

    Veröffentlicht 1981
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Seminar on Concurrency Carnegie-Mellon Univ., Pittsburgh, PA, July 9 - 11, 1984

    Seminar on Concurrency Carnegie-Mellon Univ., Pittsburgh, PA, July 9 - 11, 1984

    Veröffentlicht 1985
    Weitere Verfasser: “… Brookes, Stephen D. …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: