Cărți de Mario Bravetti

Software Engineering and Formal Methods

Lecture Notes in Computer Science

Editat de Robert M. Hierons et al.

12 sep 2013

Preț: 323^.23 lei 404^.04 lei

6-8 săpt.

-20%

Formal Techniques for Computer Systems and Business Processes

Editat de Mario Bravetti et al.

25 aug 2005

Preț: 324^.63 lei 405^.79 lei

6-8 săpt.

-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ț: 638^.44 lei 798^.05 lei

6-8 săpt.

-20%

Web Services and Formal Methods

Editat de Mario Bravetti et al.

4 sep 2006

Preț: 321^.39 lei 401^.73 lei

6-8 săpt.

-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ț: 315^.16 lei 393^.95 lei

6-8 săpt.

-20%

Behavioral Types in Programming Languages

Autor Davide Ancona et al.

21 iul 2016

Preț: 494^.37 lei 617^.96 lei

6-8 săpt.

-20%