Mario Bravetti | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 6 tuotetta
Haluatko tarkentaa hakukriteerejä?

Software Engineering and Formal Methods - 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Procee

Hierons, Robert M.; Merayo, Mercedes G.; Bravetti, Mario
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2013
Pehmeäkantinen kirja

51,10 €

Web Services and Formal Methods - Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings

Bravetti, Mario; Núñez, Manuel; Zavattaro, Gianluigi
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2006
Pehmeäkantinen kirja

51,10 €

Formal Techniques for Computer Systems and Business Processes - European Performance Engineering Workshop, EPEW 2005 and Interna

Bravetti, Mario; Kloul, Leila; Zavattaro, Gianluigi
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2005
Pehmeäkantinen kirja

51,10 €

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

Bravetti, Mario; Zavattaro, Gianluigi
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2009
Pehmeäkantinen kirja

100,90 €

Web Services and Formal Methods - 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selec

Bravetti, Mario; Bultan, Tevfik
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2011
Pehmeäkantinen kirja

51,10 €

Behavioral Types in Programming Languages

Ancona, Davide; Bono, Viviana; Bravetti, Mario; Campos, Joana; Castagna, Giuseppe; Deniélou, Pierre-Malo; Gay, Simon J.; Gesbert
now publishers Inc
2016
Pehmeäkantinen kirja

102,20 €