Libri di Adam Chlipala
-
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Venditore: Feltrinelli64,30 €
Informazioni sull’ordinamento
Vengono mostrati per primi i prodotti che rispondono a questi criteri: rilevanza rispetto alla ricerca, dati di venduto, disponibilità, data di pubblicazione, tipologia di prodotto, personalizzazione ad eccezione delle sponsorizzazioni.