Cărți de Mario Bravetti

Behavioral Types in Programming Languages

Autor Davide Ancona et al.

3 mai 2016

Preț: 503^.76 lei 629^.70 lei

43-57 zile

-20%

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

Lecture Notes in Computer Science, nr. 8137

Editat de Robert M. Hierons et al.

12 sep 2013

Preț: 327^.80 lei 409^.75 lei

43-57 zile

-20%

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

Lecture Notes in Computer Science, nr. 6551

Editat de Mario Bravetti et al.

31 mar 2011

Preț: 321^.04 lei 401^.30 lei

43-57 zile

-20%

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

Lecture Notes in Computer Science, nr. 5710

Editat de Mario Bravetti et al.

17 aug 2009

Preț: 650^.69 lei 813^.35 lei

43-57 zile

-20%

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

Lecture Notes in Computer Science, nr. 4184

Editat de Mario Bravetti et al.

4 sep 2006

Preț: 326^.84 lei 408^.56 lei

43-57 zile

-20%

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

Lecture Notes in Computer Science, nr. 3670

Editat de Mario Bravetti et al.

25 aug 2005

Preț: 329^.13 lei 411^.41 lei

43-57 zile

-20%