Roberto Gorrieri
Author detail
Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.
Overview
Catalog identity and bibliographic footprint for this author.
Catalog identity
How this author appears inside the active Bookitis catalog.
Display name
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryPA
Process Algebras for Petri Nets
cover - Image source: Open LibraryIT
Introduction to Concurrency Theory
cover - Image source: Open LibraryFM
Formal methods for open object-based distributed systems
cover - Image source: Open LibraryFO
Foundations of Security Analysis and Design III
cover - Image source: Open LibraryFO
Foundations of security analysis and design II
cover - Image source: Open LibraryFO
Foundations of security analysis and design
cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.
- Open Work
Process Algebras for Petri Nets
- Open Work
Introduction to Concurrency Theory
- Open Work
Formal methods for open object-based distributed systems
- Open Work
Foundations of Security Analysis and Design III
- Open Work
Foundations of security analysis and design II
- Open Work
Foundations of security analysis and design