Adam Chlipala
Artículos populares por Adam Chlipala
Ver todas las ofertas-
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (The MIT Press)
Chlipala, Adam
Precios de los artículos a partir de
Ver 18 ofertasEUR 70,29
