Introduction to Dependent Types with Idris: Encoding Program Proofs in Types | Kaicus Deutschland

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

34.98 EUR 7% Off 37.44 EUR

Marke: Boro Sitnikovski
Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
36.90 EUR 37.44 EUR
02-05-2026 05:24:30
37.44 EUR 37.44 EUR
02-05-2026 09:17:47