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

-7%

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

34.98 EUR 37.44 EUR

02-05-2026 17:36:52

Access to the deal

-1%

preigu.de

36.90 EUR 37.44 EUR

02-05-2026 05:24:30

Access to the deal

37.44 EUR 37.44 EUR

02-05-2026 09:17:47

Access to the deal