Certified Programming with Dependent Types - Adam Chlipala - Bøger - MIT Press - 9780262545747 - 7. juni 2022
Ved uoverensstemmelse mellem cover og titel gælder titel

Adam Chlipala
Certified Programming with Dependent Types

Pris
DKK 529

Bestilles fra fjernlager

Forventes klar til forsendelse 5. - 9. jan. 2026
Julegaver kan byttes frem til 31. januar

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
eller
Medie Bøger     Bog
Udgivet 7. juni 2022
ISBN13 9780262545747
Forlag MIT Press
Antal sider 436
Mål 150 × 220 × 20 mm   ·   680 g
Sprog Engelsk  

Se alt med Adam Chlipala ( f.eks. Bog )