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 17. - 25. jún

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
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 )