Vinkkaa tuotetta kavereillesi:
Certified Programming with Dependent Types
Adam Chlipala
Hinta
Íkr 9.590,90
Tilattu etävarastosta
Arvioitu toimitus ti - ke 5. - 13. elo
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 )