Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions
Autor Yves Bertot et al.
14 mai 2004
Hardback
Preț: 712.54 lei 838.29 lei
6-8 săpt.
-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ț: 788.53 lei 985.67 lei
6-8 săpt.
-20%
Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings
Editat de Yves Bertot et al.
sep 1999
Paperback
Preț: 392.75 lei
6-8 săpt.