Tipsa dina vänner om produkten:
Certified Programming with Dependent Types
Adam Chlipala
Pris
Mex$ 1.623,92
Beställningsvara
Förväntad leverans 16 - 27 maj
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 )