Knygos pagal Yves Bertot
Produktų, atitinkančių pasirinkimą, nerasta.
-25%
Interactive Theorem Proving and Program Development: CoqArt: The Calculus of Inductive Constructions
148,48 €
197,98 €
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
-25%
Interactive Theorem Proving and Program Development: CoqArt: The Calculus of Inductive Constructions
105,17 €
140,23 €
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją