booktheque

Formal Techniques for Computer Systems and Business Processes

Mario Bravetti, Leila Kloul, Gianluigi Zavattaro · 2005

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

View on Amazon

Book details

Year
2005
Language
English
Publisher
Springer London, Limited
Editions
1
ISBN
9783540319030

Data source: Wikidata

More by Mario Bravetti

Web services and formal methods
Mario Bravetti · 2006
CONCUR 2009 - Concurrency Theory
Mario Bravetti · 2009