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
R$ 403,59

Tilattu etävarastosta

Arvioitu toimitus ma 22. joulu - to 1. tammi 2026
Joululahjoja voi vaihtaa 31.1. asti

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
tai
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  

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