Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions
Autor Yves Bertot et al.
15 dec 2010
Paperback
Preț: 516.79 lei 607.99 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.