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 530

Bestilles fra fjernlager

Forventes klar til forsendelse 6. - 12. nov.
Julegaver kan byttes frem til 31. januar
Modtag notifikation om nye Adam Chlipala udgivelser

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
eller

Ikke bedømt endnu

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  

Mere med samme udgiver

Se alt med Adam Chlipala