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

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

Gesponsert Introduction to Dependent Types with Idris

26.99 EUR 26.99 EUR
02-05-2026 22:51:59
Access to the deal

Ähnliche Produkte

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

34.98 EUR 37.44 EUR
Produkt anzeigen

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

22.90 EUR
Produkt anzeigen

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

59.00 EUR
Produkt anzeigen

Introduction to Nanomultiferroics

68.00 EUR
Produkt anzeigen