Adam Chlipala
Articles populaires de Adam Chlipala
Afficher toutes les offres-
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Chlipala, Adam
Prix des articles à partir de
Afficher les 18 offresEUR 70,29
