Viser Hardcover bog · Vis alle
Vis udgåede udgivelser

Udgivelser med Yves Bertot

14. maj 2004 – 24. september 2009

Cover for Yves Bertot · From Semantics to Computer Science: Essays in Honour of Gilles Kahn (Hardcover bog) (2009)

From Semantics to Computer Scien... (2009)

Cover for Yves Bertot · Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions - Texts in Theoretical Computer Science. An EATCS Series (Hardcover bog) [2004 edition] (2004)

Interactive Theorem Proving and ... (2004)