Vinkkaa tuotetta kavereillesi:
Certified Programming with Dependent Types Adam Chlipala
Hinta
SFr. 57,99
Tilattu etävarastosta
Arvioitu toimitus ke - to 10. - 18. joulu
Joululahjoja voi vaihtaa 31.1. asti
Lisää iMusic-toivelistallesi
tai
Certified Programming with Dependent Types
Adam Chlipala
| 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 )