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
SFr. 52,99
exkl. MwSt.

Bestellware

Lieferdatum: ca. 31. Dez - 5. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen
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  

Alle Titel von Adam Chlipala ansehen ( u. a. Buch )