|
|

avaa valikko

Yves Bertot | Akateeminen Kirjakauppa

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



Bertot, Yves; Castéran, Pierre
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2004
Kovakantinen kirja
Interactive Theorem Proving and Program Development - Coq’Art: The Calculus of Inductive Constructions
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
110,90 €
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,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
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
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
122,60 €
Bertot, Yves; Castéran, Pierre
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2010
Pehmeäkantinen kirja
Interactive Theorem Proving and Program Development - Coq’Art: The Calculus of Inductive Constructions
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
81,00 €