Hoppa till sidans huvudinnehåll

Mario Bravetti – författare

Visar alla böcker från författaren .
5 produkter
Mario Bravetti, Leila Kloul, Gianluigi Zavattaro - Formal Techniques for Computer Systems and Business Processes, Häftad

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

AvMario Bravetti,Leila Kloulm. fl.

Häftad, Engelska, 2005

699 kr

Skickas inom 10-15 vardagar

Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro - Web Services and Formal Methods, Häftad

Web Services and Formal Methods

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

AvMario Bravetti,Manuel Núñezm. fl.

Häftad, Engelska, 2006

729 kr

Skickas inom 10-15 vardagar

Mario Bravetti, Gianluigi Zavattaro - CONCUR 2009 - Concurrency Theory, Häftad

CONCUR 2009 - Concurrency Theory

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

AvMario Bravetti,Gianluigi Zavattaro

Häftad, Engelska, 2009

1 439 kr

Skickas inom 10-15 vardagar

Mario Bravetti, Tevfik Bultan - Web Services and Formal Methods, Häftad

Web Services and Formal Methods

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

AvMario Bravetti,Tevfik Bultan

Häftad, Engelska, 2011

729 kr

Skickas inom 10-15 vardagar

Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti - Software Engineering and Formal Methods, Häftad

Software Engineering and Formal Methods

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

AvRobert M. Hierons,Mercedes G. Merayom. fl.

Häftad, Engelska, 2013

729 kr

Skickas inom 10-15 vardagar