Tipsa dina vänner om produkten:
Certified Programming with Dependent Types
Adam Chlipala
Pris
zł 311,90
Beställningsvara
Förväntad leverans 29 maj - 9 jun
Lägg till din iMusic-önskelista
Eller
Certified Programming with Dependent Types
Adam Chlipala
| Media | Böcker Bok |
| Releasedatum | 7 juni 2022 |
| ISBN13 | 9780262545747 |
| Utgivare | MIT Press |
| Antal sidor | 436 |
| Mått | 680 g |
| Språk | Engelska |
Se alt med Adam Chlipala ( t.ex. Bok )