Vinkkaa tuotetta kavereillesi:
Certified Programming with Dependent Types
Adam Chlipala
Hinta
Mex$ 1.494,90
Tilattu etävarastosta
Arvioitu toimitus pe - ma 11. - 21. heinä
Lisää iMusic-toivelistallesi
Eller
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 | 680 g |
| Kieli | English |
Katso kaikki joka sisältää Adam Chlipala ( Esim. Book )