Certified Programming with Dependent Types - Adam Chlipala - Knihy - MIT Press - 9780262545747 - 07. júna 2022
V prípade, že obal a názov nesedia, platí názov

Adam Chlipala
Certified Programming with Dependent Types

Cena
€ 62,49

Objednané zo vzdialeného skladu

Očakávané doručenie 23. - 31. júl
Dostávajte upozornenia na nové nahrávky interpreta Adam Chlipala

Naši zákazníci hovoria:

14-dňová lehota na vrátenie podľa európskej legislatívy o ochrane spotrebiteľa
Najvyššie hodnotenie na Trustpilot
Pridať do vášho zoznamu prianí na iMusic

Not rated yet

Médium Knihy     Book
Vydané 07. júna 2022
ISBN13 9780262545747
Vydavatelia MIT Press
Strany 436
Rozmery 150 × 220 × 20 mm   ·   680 g
Jazyk Angličtina  

Mere med samme udgiver

Pozrieť všetko od Adam Chlipala ( napr. Book )