Yves Bertot - Böcker

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 Huet,Jean-Jacques Lévy,Gordon Plotkin,Gérard Huet,Jean-Jacques Lévy,Rocquencourt) Huet, Gerard (Institut National de Recherche en Informatique et en Automatique (INRIA),Rocquencourt) Levy, Jean-Jacques (Institut National de Recherche en Informatique et en Automatique (INRIA),Gordon (University of Edinburgh) Plotkin

Inbunden, Engelska, 2009

1 909 kr

Skickas inom 7-10 vardagar

Interactive Theorem Proving and Program Development

Coq’Art: The Calculus of Inductive Constructions

AvYves Bertot,Pierre Castéran

Inbunden, Engelska, 2004

1 499 kr

Theorem Proving in Higher Order Logics

12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings

AvYves Bertot,Gilles Dowek,Andre Hirschowitz,Christine Paulin,Laurent Thery

Häftad, Engelska, 1999

689 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 109 kr

Skickas inom 10-15 vardagar