Introduction to Dependent Types with Idris: Encoding Program Proofs in Types - Boro Sitnikovski - Książki - APress - 9781484292587 - 18 marca 2023
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

Boro Sitnikovski
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types 1st edition

Cena
zł 141,90

Zamówione z odległego magazynu

Przewidywana dostawa 31 gru - 8 sty 2026
Świąteczne prezenty można zwracać do 31 stycznia

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

157 pages, 139 Illustrations, black and white; XVIII, 157 p. 139 illus.

Media Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 18 marca 2023
ISBN13 9781484292587
Wydawcy APress
Strony 157
Wymiary 150 × 220 × 10 mm   ·   279 g
Język Angielski  

Więcej od Boro Sitnikovski

Pokaż wszystko

Zobacz wszystko od Boro Sitnikovski ( np. Paperback Book )