Introduction to Dependent Types with Idris

Name: Introduction to Dependent Types with Idris
Brand: Boro Sitnikovski
SKU: 9781484292587
Price: 36.37 EUR
Availability: InStock

Boro Sitnikovski

€36,37

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

Meil on laos

📦 Atsiprašome, prekės neturime sandėlyje, bet greitai atsiras!

Užsisakykite el. pranešimą ir informuosime jus iškart, kai prekę turėsime. Arba rezervuokite užsakydami dabar.

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.