• 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 Sale
Tax included. Shipping calculated at checkout.

In stock
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