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

Inbunden, Engelska, 2009

1 959 kr

Skickas inom 10-15 vardagar

Coq’Art: The Calculus of Inductive Constructions

Inbunden, Engelska, 2004

1 799 kr

Skickas idag

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

Häftad, Engelska, 1999

689 kr

Skickas inom 10-15 vardagar

Coq’Art: The Calculus of Inductive Constructions

Häftad, Engelska, 2010

1 099 kr

Skickas inom 10-15 vardagar