Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions
Autor Yves Bertot et al.
14 mai 2004
Hardback
Preț: 685.00 lei 805.88 lei
6-8 săpt.
-15%
Cărți de Yves Bertot
Theorem Proving in Higher Order Logics
Editat de Yves Bertot et al.
sep 1999
Paperback
Preț: 379.35 lei
6-8 săpt.