Yves Bertot grāmatas
Nav atrasti produkti, kas atbilst izvēlei.
-25%
Interactive Theorem Proving and Program Development: CoqArt: The Calculus of Inductive Constructions
148,48 €
197,98 €
-25% ar kodu BOOKS
Piegādātāja noliktavā
-25%
Interactive Theorem Proving and Program Development: CoqArt: The Calculus of Inductive Constructions
105,17 €
140,23 €
-25% ar kodu BOOKS
Piegādātāja noliktavā