Idris Programming
Die 10 besten Produkte von Oktober 2025
Letzte Aktualisierung:
17. Oktober 2025
Independently published
Professional Idris Programming: How to Engineer Reliable Systems with Dependent Types at Scale (Mastering Emerging Programming Languages, Band 54)
Kostenloser Versand
98
MAXIMALE QUALITÄT
AUF AMAZON ANSEHEN
Amazon.de
#1 GEWINNER
Independently published
IDRIS PROGRAMMING FOR DEPENDENT TYPES: Mathematically verified software for critical system design
Kostenloser Versand
96
BESTE QUALITÄT
AUF AMAZON ANSEHEN
Amazon.de
#2
Independently published
Idris Intermediate Guide: How to Build Type-Safe and Verified Applications with Idris (Mastering Emerging Programming Languages, Band 53)
Kostenloser Versand
93
TOP QUALITÄT
AUF AMAZON ANSEHEN
Amazon.de
#3
Independently published
Idris for Beginners: How to Explore Dependent Types and Functional Programming (Mastering Emerging Programming Languages, Band 52)
Kostenloser Versand
88
HOHE QUALITÄT
AUF AMAZON ANSEHEN
Amazon.de
#4
HiTeX Press
Dependently Typed Programming with Idris 2: The Complete Guide for Developers and Engineers (English Edition)
85
SICHERE QUALITÄT
AUF AMAZON ANSEHEN
Amazon.de
#5
Independently published
Idris Programming Guru Notebook: Customized Lined Notepad Journal Gift For A Qualified Idris Developer
Kostenloser Versand
81
GUTE QUALITÄT
AUF AMAZON ANSEHEN
Amazon.de
#6
HiTeX Press
Idris Unleashed: Type-Driven Development and Theorem Proving in Functional Programming (English Edition)
78
GUTE QUALITÄT
AUF AMAZON ANSEHEN
Amazon.de
#7
Apress
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
25% Rabatt
Kostenloser Versand
78
GUTE QUALITÄT
AUF AMAZON ANSEHEN
Amazon.de
#8
Manning Publications
Type-Driven Development with Idris
13% Rabatt
Kostenloser Versand
70
GUTE QUALITÄT
AUF AMAZON ANSEHEN
Amazon.de
#9
Independently published
Start Programming, Simulating HMI and PLC in Your Laptop. A No BS, No Fluff, HMI and PLC Programming & Simulating.: The Practical Approach Programming ... Programmable Logic Controller (PLC), Band 4)
Kostenloser Versand
69
GUTE QUALITÄT
AUF AMAZON ANSEHEN
Amazon.de
#10
idris
programming
#1 GEWINNER
