Program Logics for Certified Compilers
Autor Andrew W. Appel et al.
20 apr 2014
Hardback
Preț: 564.06 lei 705.08 lei
6-8 săpt.
-20%
Cărți de Lennart Beringer
Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
Editat de Lennart Beringer et al.
6 iul 2012
Paperback
Preț: 321.35 lei 401.69 lei
6-8 săpt.
-20%