• 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 Väljamüük

Meil on laos

Toodet hetkel ei ole
Jätke oma e-posti aadress ja anname teada, kui toode on taas laos.
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