Releases by Roberto Gorrieri

All6
Hardcover Book2
Paperback Book4

In stock at iMusic Show unavailable items

Cover for Roberto Gorrieri · Process Algebras for Petri Nets: The Alphabetization of Distributed Systems - Monographs in Theoretical Computer Science. An EATCS Series (Paperback Book) [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 (Hardcover Book) [1st ed. 2017 edition] (2017)

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 (Paperback Book) [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 (Hardcover Book) [1st ed. 2015 edition] (2015)

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 (Paperback Book) [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 (Paperback Book) [2004 edition] (2004)

Foundations of Security Analysis... (2004)

Roberto Gorrieri