Treffer 1 – 4 von 4 für Suche 'Gorrieri, Roberto', Suchdauer: 0,05s 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
    Process algebras for Petri nets the alphabetization of distributed systems

    Process algebras for Petri nets the alphabetization of distributed systems von Gorrieri, Roberto

    Veröffentlicht 2017

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Introduction to concurrency theory transition systems and CCS

    Introduction to concurrency theory transition systems and CCS von Gorrieri, Roberto, Versari, Cristian

    Veröffentlicht 2015
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Introduction to Concurrency Theory Transition Systems and CCS

    Introduction to Concurrency Theory Transition Systems and CCS von Gorrieri, Roberto, Versari, Cristian

    Veröffentlicht 2015

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  4. 4
    On syntactic and semantic action refinement

    On syntactic and semantic action refinement von Goltz, Ursula, Gorrieri, Roberto, Rensink, Arend

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: