|
|

avaa valikko

Pierre Castéran | Akateeminen Kirjakauppa

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



Interactive Theorem Proving and Program Development - Coq’Art: The Calculus of Inductive Constructions
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
123,30 €
Interactive Theorem Proving and Program Development - Coq’Art: The Calculus of Inductive Constructions
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
90,10 €