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ț: 326.24 lei 407.80 lei
6-8 săpt.
-20%
Cărți de Lennart Beringer
Program Logics for Certified Compilers
Autor Andrew W. Appel et al.
20 apr 2014
Hardback
Preț: 603.88 lei 754.86 lei
6-8 săpt.
-20%