|
|

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
2004
Kovakantinen kirja
Interactive Theorem Proving and Program Development : Coq’Art: The Calculus of Inductive Constructions
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
120,90 €
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
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
86,00 €