Interactive Theorem Proving and Program Development
Autor Yves Bertot et al.
15 dec 2010
Paperback
Preț: 517.52 lei 608.84 lei
43-57 zile
-15%
Cărți de Yves Bertot
From Semantics to Computer Science: Essays in Honour of Gilles Kahn
Editat de Yves Bertot et al.
23 sep 2009
Hardback
Preț: 799.30 lei 999.12 lei
43-57 zile
-20%