Pierre Castéran grāmatas
Nav atrasti produkti, kas atbilst izvēlei.
-30%
Interactive Theorem Proving and Program Development: CoqArt: The Calculus of Inductive Constructions
138,59 €
197,98 €
-30% ar kodu BOOKS
Piegādātāja noliktavā
-30%
Interactive Theorem Proving and Program Development: CoqArt: The Calculus of Inductive Constructions
98,16 €
140,23 €
-30% ar kodu BOOKS
Piegādātāja noliktavā