Hoppa till sidans huvudinnehåll

Mario Bravetti - Böcker

Visar alla böcker från författaren Mario Bravetti.
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

909 kr

Skickas inom 5-8 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

919 kr

Skickas inom 5-8 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 439 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

729 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

729 kr

Skickas inom 10-15 vardagar