Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings
Editat de Jean-Pierre Jouannaud et al.
18 noi 2011
Paperback
Preț: 325.61 lei 407.00 lei
6-8 săpt.
-20%
Cărți de Zhong Shao
Programming Languages and Systems: 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Editat de Zhong Shao
17 mar 2014
Paperback
Preț: 333.68 lei 417.09 lei
6-8 săpt.
-20%