Certified Programming with Dependent Types - Adam Chlipala - Bücher - MIT Press - 9780262545747 - 7. Juni 2022
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Adam Chlipala
Certified Programming with Dependent Types

Preis
€ 60,49

Bestellware

Lieferdatum: ca. 11. - 19. Nov
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Benachrichtigungen über neue Veröffentlichungen von Adam Chlipala erhalten

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen
oder

Noch nicht bewertet

Medien Bücher     Buch
Erscheinungsdatum 7. Juni 2022
ISBN13 9780262545747
Verlag MIT Press
Seitenanzahl 436
Maße 150 × 220 × 20 mm   ·   680 g
Sprache Englisch  

Mehr vom selben Verlag

Alle Titel von Adam Chlipala ansehen