Pastāsti draugiem par šo preci:
Certified Programming with Dependent Types Adam Chlipala
Cena
€ 63,49
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 8. - 16. jūn.
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
Certified Programming with Dependent Types
Adam Chlipala
| Mediji | Grāmatas Book |
| Izlaists | 2022. gada 7. jūnijs |
| ISBN13 | 9780262545747 |
| Izdevēji | MIT Press |
| Lapas | 436 |
| Izmēri | 150 × 220 × 20 mm · 680 g |
| Valoda | Angļu |
