Certified Programming with Dependent Types - Adam Chlipala - Kirjat - MIT Press - 9780262545747 - tiistai 7. kesäkuuta 2022
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Adam Chlipala
Certified Programming with Dependent Types

Hinta
€ 64,49

Tilattu etävarastosta

Arvioitu toimitus ke - to 9. - 17. syys
Saat ilmoituksen artistin Adam Chlipala uusista julkaisuista

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
tai

Ei vielä arvioitu

Media Kirjat     Book
Julkaisupäivämäärä tiistai 7. kesäkuuta 2022
ISBN13 9780262545747
Tuottaja MIT Press
Sivujen määrä 436
Mitta 150 × 220 × 20 mm   ·   680 g
Kieli Englanti  

Lisää samalta julkaisijalta

Katso kaikki joka sisältää Adam Chlipala ( Esim. Book )