Mario Bravetti – författare

Visar alla böcker från författaren Mario Bravetti.

5 produkter

1. 

   Formal Techniques for Computer Systems and Business Processes

   European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings

   Av Mario Bravetti, Leila Kloul m. fl.

   Häftad, 2005

   699 kr

   Lägg i varukorg

2. 

   Web Services and Formal Methods

   Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings

   Av Mario Bravetti, Manuel Núñez m. fl.

   Häftad, 2006

   729 kr

   Lägg i varukorg

3. 

   CONCUR 2009 - Concurrency Theory

   20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings

   Av Mario Bravetti, Gianluigi Zavattaro

   Häftad, 2009

   1449 kr

   Lägg i varukorg

4. 

   Web Services and Formal Methods

   7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers

   Av Mario Bravetti, Tevfik Bultan

   Häftad, 2011

   729 kr

   Lägg i varukorg

5. 

   Software Engineering and Formal Methods

   11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings

   Av Robert M. Hierons, Mercedes G. Merayo m. fl.

   Häftad, 2013

   729 kr

   Lägg i varukorg