Mario Bravetti – författare

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

5 produkter

Kategorier

5 produkter

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
709 kr
Skickas inom 10-15 vardagar
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
749 kr
Skickas inom 10-15 vardagar
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 479 kr
Skickas inom 10-15 vardagar
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
749 kr
Skickas inom 10-15 vardagar
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
749 kr
Skickas inom 10-15 vardagar