Adam Chlipala
Beliebte Artikel von Adam Chlipala
Alle Angebote anzeigen-
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (The MIT Press)
Chlipala, Adam
Artikelpreise ab
17 Angebote anzeigenEUR 70,38
