| |

avaa valikko

Yves Bertot | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 4 tuotetta
Haluatko tarkentaa hakukriteerejä?

Interactive Theorem Proving and Program Development : Coq’Art: The Calculus of Inductive Constructions

Bertot, Yves; Castéran, Pierre
Springer
2004
Kovakantinen kirja

Interactive Theorem Proving and Program Development : Coq’Art: The Calculus of Inductive Constructions

120,90 €

Theorem Proving in Higher Order Logics : 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999,

Bertot, Yves; Dowek, Gilles; Hirschowitz, Andre; Paulin, Christine; Thery, Laurent
Springer
1999
Pehmeäkantinen kirja

Theorem Proving in Higher Order Logics : 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999,

51,10 €

From Semantics to Computer Science: Essays in Honour of Gilles Kahn

Bertot, Yves; Huet, Gérard; Lévy, Jean-Jacques; Plotkin, Gordon
Cambridge University Press
2009
Kovakantinen kirja

From Semantics to Computer Science: Essays in Honour of Gilles Kahn

125,80 €

Interactive Theorem Proving and Program Development : Coq’Art: The Calculus of Inductive Constructions

Bertot, Yves; Castéran, Pierre
Springer
2010
Pehmeäkantinen kirja

Interactive Theorem Proving and Program Development : Coq’Art: The Calculus of Inductive Constructions

86,00 €