
Fortæl dine venner om denne vare:
Certified Programming with Dependent Types
Adam Chlipala
Pris
元 641,25
Bestilles fra fjernlager
Forventes klar til forsendelse 30. jul. - 5. 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 )