Adam Chlipala grāmatas
Nav atrasti produkti, kas atbilst izvēlei.
-30%
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
70,98 €
101,40 €
-30% ar kodu BOOKS
Piegādātāja noliktavā