Idris Programming
Die 10 besten Produkte von Januar 2026
Letzte Aktualisierung:
1. Januar 2026
Independently published
IDRIS PROGRAMMING FOR DEPENDENT TYPES: Mathematically verified software for critical system design
99
MAXIMALE QUALITÄT
AUF AMAZON ANSEHEN
Amazon.de
#1 GEWINNER
Independently published
Professional Idris Programming: How to Engineer Reliable Systems with Dependent Types at Scale (Mastering Emerging Programming Languages, Band 54)
97
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
Idris Intermediate Guide: How to Build Type-Safe and Verified Applications with Idris (Mastering Emerging Programming Languages Book 53) (English Edition)
88
HOHE QUALITÄT
AUF AMAZON ANSEHEN
Amazon.de
#4
Apress
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
85
SICHERE QUALITÄT
AUF AMAZON ANSEHEN
Amazon.de
#5
HiTeX Press
Dependently Typed Programming with Idris 2: The Complete Guide for Developers and Engineers (English Edition)
82
SICHERE QUALITÄT
AUF AMAZON ANSEHEN
Amazon.de
#6
Manning Publications
Type-Driven Development with Idris
13% Rabatt
81
GUTE QUALITÄT
AUF AMAZON ANSEHEN
Amazon.de
#7
Independently published
Idris Programming Guru Notebook: Customized Lined Notepad Journal Gift For A Qualified Idris Developer
76
GUTE QUALITÄT
AUF AMAZON ANSEHEN
Amazon.de
#8
Idris for Beginners: How to Explore Dependent Types and Functional Programming (Mastering Emerging Programming Languages Book 52) (English Edition)
73
GUTE QUALITÄT
AUF AMAZON ANSEHEN
Amazon.de
#9
Independently published
Idris-Leitfaden für Fortgeschrittene: Wie man mit Idris typsichere und verifizierte Anwendungen erstellt
67
GUTE QUALITÄT
AUF AMAZON ANSEHEN
Amazon.de
#10
idris
programming
#1 GEWINNER
