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

19-06-2026 19:45:23

Access to the deal

-1%

preigu.de

36.90 EUR 37.44 EUR

20-06-2026 03:28:57

Access to the deal

37.44 EUR 37.44 EUR

19-06-2026 19:41:08

Access to the deal