Adam Chlipala
Articoli popolari di Adam Chlipala
Visualizza tutte le offerte-
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Chlipala, Adam
Prezzi articolo a partire da
Visualizza 19 offerteEUR 70,51
