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

Introduction to Dependent Types with Idris

Boro Sitnikovski

€36,37
€36,37 €37,49 Väljamüük

Meil on laos

📦 Šios prekės gali nebūti sandėlyje.
Prieš perkant parašykite mums, kad patikslintume: info@bookshop.lt 💜

Autorius Boro Sitnikovski
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 ...

€36,37
€36,37 €37,49