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

De (autor): Boro Sitnikovski

-15%

transport gratuit

PRP: 235.54 Lei

Acesta este Pretul Recomandat de Producator. Pretul de vanzare al produsului este afisat mai jos.

200.21Lei

235.54 Lei

Primesti 200 puncte

Primesti puncte de fidelitate dupa fiecare comanda! 100 puncte de fidelitate reprezinta 1 leu. Foloseste-le la viitoarele achizitii!

Indisponibil

Detaliile produsului

Nr. pagini: 157

Parerea ta e inspiratie pentru comunitatea Libris!