Fortæl dine venner om denne vare:
Certified Programming with Dependent Types
Adam Chlipala
Pris
CA$ 123,11
Bestilles fra fjernlager
Forventes klar til forsendelse 12. - 18. aug.
Tilføj til din iMusic ønskeseddel
Eller
Certified Programming with Dependent Types
Adam Chlipala
| Medie | Bøger Bog |
| Udgivet | 7. juni 2022 |
| ISBN13 | 9780262545747 |
| Forlag | MIT Press |
| Antal sider | 436 |
| Mål | 680 g |
| Sprog | Engelsk |
Se alt med Adam Chlipala ( f.eks. Bog )