Releases von Roberto Gorrieri

Alle6
Gebundenes Buch2
Taschenbuch4

Auf Lager bei iMusic Nicht verfügbare Artikel anzeigen

Cover for Roberto Gorrieri · Process Algebras for Petri Nets: The Alphabetization of Distributed Systems - Monographs in Theoretical Computer Science. An EATCS Series (Taschenbuch) [Softcover reprint of the original 1st ed. 2017 edition] (2018)

Softcover reprint of the original 1st ed. 2017 edition

Process Algebras for Petri Nets:... (2018)

Roberto Gorrieri

Cover for Roberto Gorrieri · Process Algebras for Petri Nets: The Alphabetization of Distributed Systems - Monographs in Theoretical Computer Science. An EATCS Series (Gebundenes Buch) [1st ed. 2017 edition] (2017)

Gebundenes Buch

1st ed. 2017 edition

Process Algebras for Petri Nets:... (2017)

Roberto Gorrieri

Cover for Roberto Gorrieri · Introduction to Concurrency Theory: Transition Systems and CCS - Texts in Theoretical Computer Science. An EATCS Series (Taschenbuch) [Softcover reprint of the original 1st ed. 2015 edition] (2016)

Softcover reprint of the original 1st ed. 2015 edition

Introduction to Concurrency Theo... (2016)

Roberto Gorrieri

Cover for Roberto Gorrieri · Introduction to Concurrency Theory: Transition Systems and CCS - Texts in Theoretical Computer Science. An EATCS Series (Gebundenes Buch) [1st ed. 2015 edition] (2015)

Gebundenes Buch

1st ed. 2015 edition

Introduction to Concurrency Theo... (2015)

Roberto Gorrieri

Cover for Roberto Gorrieri · Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings - Lecture Notes in Computer Science (Taschenbuch) [2006 edition] (2006)

Formal Methods for Open Object-B... (2006)

Roberto Gorrieri

Cover for Roberto Gorrieri · Foundations of Security Analysis and Design II: FOSAD 2001/2002 Tutorial Lectures - Lecture Notes in Computer Science (Taschenbuch) [2004 edition] (2004)

Foundations of Security Analysis... (2004)

Roberto Gorrieri