Interactive Theorem Proving and Program Development
Autor Yves Bertot et al.
14 mai 2004
Hardback
Preț: 689.64 lei 811.34 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ț: 802.41 lei 1003.01 lei
43-57 zile
-20%
Theorem Proving in Higher Order Logics
Editat de Yves Bertot et al.
sep 1999
Paperback
Preț: 380.51 lei
43-57 zile