Formal methods for open object-based distributed systemsRoberto Gorrieri
Formal methods for open object-based distributed systems
Roberto Gorrieri, Heike Wehrheim · 2006
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2006
- Language
- English
- Publisher
- Springer
- Editions
- 5
- Pages
- 267
- ISBN
- 9783540348931
Data source: Wikidata
More by Roberto Gorrieri
Foundations of security analysis and design IIRoberto Gorrieri
Foundations of security analysis and design II
Roberto Gorrieri · 2004
Foundations of security analysis and designRoberto Gorrieri
Foundations of security analysis and design
Roberto Gorrieri · 2001
Process Algebras for Petri NetsRoberto Gorrieri
Process Algebras for Petri Nets
Roberto Gorrieri · 2017
Introduction to Concurrency TheoryRoberto Gorrieri
Introduction to Concurrency Theory
Roberto Gorrieri · 2015