Hoppa till sidans huvudinnehåll

Yves Bertot – författare

Visar alla böcker från författaren .
4 produkter
Yves Bertot, Gérard Huet, Jean-Jacques Lévy, Gordon Plotkin - From Semantics to Computer Science, Inbunden

From Semantics to Computer Science

Essays in Honour of Gilles Kahn

AvYves Bertot,Gérard Huetm. fl.

Inbunden, Engelska, 2009

2 139 kr

Skickas inom 7-10 vardagar

Yves Bertot, Pierre Castéran - Interactive Theorem Proving and Program Development, Inbunden

Interactive Theorem Proving and Program Development

Coq’Art: The Calculus of Inductive Constructions

AvYves Bertot,Pierre Castéran

Inbunden, Engelska, 2004

1 679 kr

Yves Bertot, Gilles Dowek, Andre Hirschowitz, Christine Paulin, Laurent Thery - Theorem Proving in Higher Order Logics, Häftad

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

709 kr

Skickas inom 10-15 vardagar

Yves Bertot, Pierre Castéran - Interactive Theorem Proving and Program Development, Häftad

Interactive Theorem Proving and Program Development

Coq’Art: The Calculus of Inductive Constructions

AvYves Bertot,Pierre Castéran

Häftad, Engelska, 2010

1 189 kr

Skickas inom 10-15 vardagar