R

Roberto Gorrieri

5 books found

Books by Roberto Gorrieri
Foundations of security analysis and designRoberto Gorrieri
⏱ 6h 37m

Foundations of security analysis and design

Roberto Gorrieri

2001397 pp.
Introduction to Concurrency TheoryRoberto Gorrieri
⏱ 5h 45m

Introduction to Concurrency Theory

Roberto Gorrieri

2015345 pp.
Process Algebras for Petri NetsRoberto Gorrieri
⏱ 5h 15m

Process Algebras for Petri Nets

Roberto Gorrieri

2017315 pp.
Foundations of security analysis and design IIRoberto Gorrieri
⏱ 4h 25m

Foundations of security analysis and design II

Roberto Gorrieri

2004265 pp.
Formal methods for open object-based distributed systemsRoberto Gorrieri
⏱ 4h 32m

Formal methods for open object-based distributed systems

Roberto Gorrieri

2006272 pp.