Mario Bravetti Books
Formal Techniques For Computer Systems And Business Processes: European Performance Engineering Workshop, EPEW 2005 And International Workshop On Web ...
By Gianluigi Zavattaro, Mario Bravetti, Leila Kloul, Peter Harrison (Auth.), Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro (Eds.), EPEW
This Book Constitutes The Refereed Proceedings Of Two Colocated International Workshops Epew 2005 (european Performance Engineering Workshop) And Ws-fm 2005 (web Services And Formal Methods) Held I...
Read More
Software Engineering and Formal Methods
By Mario Bravetti, Robert M. Hierons, Mercedes G. Merayo
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 paper...
Read More
CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings (Lecture Notes In Computer Science (5710))
By Gianluigi Zavattaro, Mario Bravetti, International Conference On Concurrency Theory, Martín Abadi, Tim Harris (Auth.), Mario Bravetti, Gianluigi Zavattaro (Eds.)
Annotation This book constitutes the refereed proceedings of the 20th International Conference on Concurrency Theory, CONCUR 2009, held in Bologna, Italy, September 1-4, 2009. The 37 revised full p...
Read More
Concur 2009 - Concurrency Theory
By Gianluigi Zavattaro, Mario Bravetti, Martín Abadi, Tim Harris (Auth.), Mario Bravetti, Gianluigi Zavattaro (Eds.)
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 Rese...
Read More
