Vinkkaa tuotetta kavereillesi:
Certified Programming with Dependent Types
Adam Chlipala
Hinta
A$ 132,54
Tilattu etävarastosta
Arvioitu toimitus ti 27. touko - to 5. kesä
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 )