Releases by Roberto Gorrieri

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

1st ed. 2017 edition

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

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