Vinkkaa tuotetta kavereillesi:
Certified Programming with Dependent Types
Adam Chlipala
Hinta
€ 75,49
Tilattu etävarastosta
Arvioitu toimitus ma - ti 2. - 10. 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 )