Yves Bertot – författare

Visar alla böcker från författaren Yves Bertot.

4 produkter

Kategorier

4 produkter

From Semantics to Computer Science
Essays in Honour of Gilles Kahn
AvYves Bertot,Gérard Huetm. fl.
Inbunden, Engelska, 2009
2 149 kr
Skickas inom 5-8 vardagar
Interactive Theorem Proving and Program Development
Coq’Art: The Calculus of Inductive Constructions
AvYves Bertot,Pierre Castéran
Inbunden, Engelska, 2004
1 719 kr
Theorem Proving in Higher Order Logics
12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings
AvYves Bertot,Gilles Dowekm. fl.
Häftad, Engelska, 1999
719 kr
Skickas inom 10-15 vardagar
Interactive Theorem Proving and Program Development
Coq’Art: The Calculus of Inductive Constructions
AvYves Bertot,Pierre Castéran
Häftad, Engelska, 2010
1 219 kr
Skickas inom 10-15 vardagar