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-Verlag Berlin and Heidelberg GmbH & Co. KG
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-Verlag Berlin and Heidelberg GmbH & Co. KG
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, Proceedi
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
127,30 €
Bertot, Yves; Castéran, Pierre
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
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 €