Fortæl dine venner om denne vare:
Certified Programming with Dependent Types Adam Chlipala
Pris
R$ 454,88
Bestilles fra fjernlager
Forventes klar til forsendelse 9. - 15. dec.
Julegaver kan byttes frem til 31. januar
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 | 150 × 220 × 20 mm · 680 g |
| Sprog | Engelsk |
Se alt med Adam Chlipala ( f.eks. Bog )