Fortell venner om denne varen:
Certified Programming with Dependent Types
Adam Chlipala
Pris
Íkr 8.739
Bestillingsvarer
Forventes levert 11. - 21. jul
Legg til iMusic ønskeliste
Eller
Certified Programming with Dependent Types
Adam Chlipala
| Media | Bøker Bok |
| Utgitt | 7. juni 2022 |
| ISBN13 | 9780262545747 |
| Utgivere | MIT Press |
| Antall sider | 436 |
| Mål | 680 g |
| Språk | Engelsk |
Se alt med Adam Chlipala ( f.eks. Bok )