5 Ebooks tarafından Mario Bravetti
Mario Bravetti & Leila Kloul: Formal Techniques for Computer Systems and Business Processes
…
PDF
İngilizce
DRM
€57.02
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 …
PDF
İngilizce
DRM
€113.52
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
İngilizce
DRM
€56.87
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
İngilizce
DRM
€56.46
