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

Lecture Notes in Computer Science, nr. 8410

Editat de Zhong Shao

17 mar 2014

Preț: 328^.46 lei 410^.58 lei

6-8 săpt.

-20%

Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings

Lecture Notes in Computer Science, nr. 7086

Editat de Jean-Pierre Jouannaud et al.

18 noi 2011

Preț: 320^.73 lei 400^.91 lei

6-8 săpt.

-20%