Dependent Types
Die 10 besten Produkte von Januar 2026
Letzte Aktualisierung:
15. Januar 2026
MIT Press
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
98
MAXIMALE QUALITÄT
AUF AMAZON ANSEHEN
Amazon.de
#1 GEWINNER
Apress
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
25% Rabatt
96
BESTE QUALITÄT
AUF AMAZON ANSEHEN
Amazon.de
#2
Independently published
IDRIS 2 PROGRAMMING FOR DEPENDENT TYPE SYSTEMS: Formal software verification and provably correct computation models
93
TOP QUALITÄT
AUF AMAZON ANSEHEN
Amazon.de
#3
Amer Diabetes Assn
Medical Management of Insulin-Dependent (Type I) Diabetes
90
HOHE QUALITÄT
AUF AMAZON ANSEHEN
Amazon.de
#4
Manning Publications
Type-Driven Development with Idris
13% Rabatt
87
SICHERE QUALITÄT
AUF AMAZON ANSEHEN
Amazon.de
#5
Amer Diabetes Assn
Medical Management of Non-Insulin-Dependent (Type Ii) Diabetes
81
GUTE QUALITÄT
AUF AMAZON ANSEHEN
Amazon.de
#6
W Foulsham & Co Ltd
Understanding Your Diabetes: Insulin-dependent (Type 1)
80
GUTE QUALITÄT
AUF AMAZON ANSEHEN
Amazon.de
#7
▼ Mehr anzeigen
▲ Weniger anzeigen
New
Mint Condition
Dispatch same day for order received before 12 noon
Guaranteed packaging
No quibbles returns
5,37 € AUF AMAZON
Idris for Beginners: How to Explore Dependent Types and Functional Programming (Mastering Emerging Programming Languages Book 52) (English Edition)
77
GUTE QUALITÄT
AUF AMAZON ANSEHEN
Amazon.de
#8
Independently published
DIABETIC TYPE 2 GROCERY AND FOOD LIST: Navigating Wellness: A Tailored Guide to Type 2 Diabetes Management Through Informed Grocery Choices- Unveiling ... and Verified Foods Chart and List, Band 3)
76
GUTE QUALITÄT
AUF AMAZON ANSEHEN
Amazon.de
#9
Amer Diabetes Assn
Physicians Guide to Insulin-Dependent (TYPE 1 DIABETES : DIAGNOSIS AND TREATMENT)
76
GUTE QUALITÄT
AUF AMAZON ANSEHEN
Amazon.de
#10
idris dependent types
dependent
#1 GEWINNER
