Program Logics for Certified Compilers Autor Andrew W. Appel et al. 20 apr 2014 Hardback Preț: 595.89 lei 744.86 lei 6-8 săpt. -20%
Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings Lecture Notes in Computer Science, nr. 7406 Editat de Lennart Beringer et al. 6 iul 2012 Paperback Preț: 339.14 lei 423.93 lei 6-8 săpt. -20%