Saat noutopistetoimituksen veloituksetta*, kun tilauksesi arvo ylittää 59 €!
*Koskee yksityisasiakkaiden tilauksia, jotka toimitetaan Suomeen.
|
|

avaa valikko

Yves Bertot | Booky.fi

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



Bertot, Yves; Castéran, Pierre
Springer
2004
Kovakantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
Interactive Theorem Proving and Program Development : Coq’Art: The Calculus of Inductive Constructions
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
120,90 €
Bertot, Yves; Dowek, Gilles; Hirschowitz, Andre; Paulin, Christine; Thery, Laurent
Springer
1999
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
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
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
From Semantics to Computer Science - Essays in Honour of Gilles Kahn
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
125,10 €
Bertot, Yves; Castéran, Pierre
Springer
2010
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Interactive Theorem Proving and Program Development : Coq’Art: The Calculus of Inductive Constructions
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
86,00 €