Behavioral Types in Programming Languages
Autor Davide Ancona et al.
3 mai 2016
Paperback
Preț: 514.14 lei 642.67 lei
6-8 săpt.
-20%
Cărți de Mario Bravetti
Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings
Editat de Robert M. Hierons et al.
12 sep 2013
Paperback
Preț: 334.53 lei 418.16 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
Editat de Mario Bravetti et al.
31 mar 2011
Paperback
Preț: 327.62 lei 409.52 lei
6-8 săpt.
-20%
CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings
Editat de Mario Bravetti et al.
17 aug 2009
Paperback
Preț: 664.11 lei 830.14 lei
6-8 săpt.
-20%
Web Services and Formal Methods: Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings
Editat de Mario Bravetti et al.
4 sep 2006
Paperback
Preț: 333.54 lei 416.93 lei
6-8 săpt.
-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
Editat de Mario Bravetti et al.
25 aug 2005
Paperback
Preț: 335.88 lei 419.85 lei
6-8 săpt.
-20%