Certified Programs and Proofs Editat de Jean-Pierre Jouannaud et al. 18 noi 2011 Paperback Preț: 328.29 lei 410.37 lei 43-57 zile -20%
Programming Languages and Systems Editat de Zhong Shao 17 mar 2014 Paperback Preț: 337.13 lei 421.41 lei 43-57 zile -20%