Raamatud Adam Chlipala
Valikule vastavaid tooteid ei leitud.
-30%
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
70,98 €
101,40 €
-30% koodiga BOOKS
Meie tarnija laos