Kirjat Adam Chlipala
Valintaa vastaavia tuotteita ei löytynyt.
-25%
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
76,05 €
101,40 €
-25% koodilla BOOKS
Toimittajalla varastossa