Introduction to Dependent Types with Idris | Kaicus Deutschland
All categories
Kaicus
Baby & Kleinkind
Bekleidung & Accessoires
Bürobedarf
Elektronik
Fahrzeuge & Teile
Für Erwachsene
Gesundheit & Schönheit
Heim & Garten
Heimwerkerbedarf
Kameras & Optik
Kunst & Unterhaltung
Medien
Möbel
Nahrungsmittel, Getränke & Tabak
Software
Spielzeuge & Spiele
Sportartikel
Taschen & Gepäck
Tiere & Tierbedarf
Wirtschaft & Industrie
UK España Italia Deutschland France
© 2026, Kaicus - Smart Shopping
All rights reserved
Kaicus Introduction to Dependent Types with Idris
product image
product image

Introduction to Dependent Types with Idris

26.99 EUR 27% Off 36.99 EUR

Marke: Apress
Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
-27%

Gesponsert Introduction to Dependent Types with Idris

26.99 EUR 36.99 EUR
15-08-2026 07:02:23
Access to the deal

Gesponsert Introduction to Dependent Types with Idris

36.99 EUR 36.99 EUR
15-08-2026 03:18:22
Access to the deal

Ähnliche Produkte

Graph Critical with Respect to Variants of Domination: Introduction to Extended Total Domination, Independent Domination-Vertex Covering, Total K,K-Tuple, K-Dependent, Perfect Domination

58.34 EUR 59.00 EUR
Produkt anzeigen

Introduction to Dependent Types with Idris: Encoding Program Proofs in Types

34.98 EUR 41.50 EUR
Produkt anzeigen

An Introduction to the Study of the Dependent Defective and Delinquent Classes

22.90 EUR
Produkt anzeigen

Introduction to Nanomultiferroics

68.00 EUR
Produkt anzeigen