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 1. - 9. heinä

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  

Mere med samme udgiver

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