Program Logics for Certified Compilers Autor Andrew W. Appel et al. 20 apr 2014 Hardback Preț: 585.86 lei 732.32 lei 6-8 săpt. -20%