• Book cover of: Introduction to Dependent Types with Idris. By: Boro Sitnikovski

Introduction to Dependent Types with Idris

Boro Sitnikovski

€37,37
€37,37 €38,99 Myynti

Meillä on varastossa

Prekės šiuo metu neturime
Palikite el. paštą ir pranešime iškart, kai prekė vėl atsiras sandėlyje.
Autorius Boro Sitnikovski
Kalba Anglų k.
Leidėjas APress
Leidimo metai 2023 m.
Puslapių skč. 157 psl.
Viršelis Minkštas viršelis
ISBN 9781484292587
Leidimas 1st ed.

Introduction to Dependent Types with Idris

Introduction to Dependent Types with Idris by Boro Sitnikovski.

Published by Apress L. P., (2023), Paperback, 157 pages.

Book cover of: Introduction to Dependent Types with Idris. By: Boro Sitnikovski

Introduction to Dependent Types with ...

€37,37
€37,37 €38,99