5 Ebook di Mario Bravetti
Mario Bravetti & Leila Kloul: Formal Techniques for Computer Systems and Business Processes
…
PDF
Inglese
DRM
€57.47
Mario Bravetti & Gianluigi Zavattaro: CONCUR 2009 – Concurrency Theory
This volume contains the proceedings of the 20th Conference on Concurrency Theory (CONCUR 2009), held in Bologna, September 1-4, 2009. The purpose of the CONCUR conference is to bring together resear …
PDF
Inglese
DRM
€114.31
Mario Bravetti & Tevfik Bultan: Web Services and Formal Methods
This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Web Services and Formal Methods, WS-FM 2010, held in Hoboken, NJ, USA, in September 2010. …
PDF
Inglese
DRM
€57.78
Mario Bravetti & Robert M. Hierons: Software Engineering and Formal Methods
This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. The 21 full papers …
PDF
Inglese
DRM
€57.57
