Powiedz znajomym o tym przedmiocie:
Certified Programming with Dependent Types
Adam Chlipala
Cena
zł 314,90
Zamówione z odległego magazynu
Przewidywana dostawa 16 - 26 wrz
Nasi klienci mówią:
Dodaj do swojej listy życzeń iMusic
Certified Programming with Dependent Types
Adam Chlipala
| Media | Książki Book |
| Wydane | 7 czerwca 2022 |
| ISBN13 | 9780262545747 |
| Wydawcy | MIT Press |
| Strony | 436 |
| Wymiary | 680 g |
| Język | English |
Zobacz wszystko od Adam Chlipala ( np. Book )