Treffer 1 – 3 von 3 für Suche 'Cleaveland, Rance', 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
    The concurrency workbench a semantics based tool for the verification of concurrent systems

    The concurrency workbench a semantics based tool for the verification of concurrent systems von Cleaveland, Rance, Parrow, Joachim, Steffen, Bernhard

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Type theory and concurrency

    Type theory and concurrency von Cleaveland, Rance, Panangaden, Prakash 1954-

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    From reactive systems to cyber-physical systems essays dedicated to Scott A. Smolka on the occasion of his 65th birthday

    From reactive systems to cyber-physical systems essays dedicated to Scott A. Smolka on the occasion of his 65th birthday

    Veröffentlicht 2019
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:

Suchwerkzeuge: