Interactive Theorem Proving and Program Development
Autor Yves Bertot et al.
14 mai 2004
Hardback
Preț: 689.64 lei 811.34 lei
6-8 săpt.
-15%
Cărți de Yves Bertot
From Semantics to Computer Science
Editat de Yves Bertot et al.
24 sep 2009
Hardback
Preț: 812.76 lei 1015.95 lei
6-8 săpt.
-20%