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

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

Apress

Product information

311,32 kr

Ser

Description

Introduction to Dependent Types with Idris: Encoding Program Proofs in Types Läs mer

GTIN

9781484292587
Föreslaget av
Amazon.se
Registrera produkten Registrerad produkt
Jämför produkt
Prishistorik
Relaterade produkter
Visa mer
Välj minst 2 produkter för jämförelse Visa jämförelse
Bli först med att betygsätta Lämna en recension om

Din recension kommer att utvärderas av vårt team för publicering.

Tack för din åsikt
Vårt team kommer nu att granska dina kommentarer innan de publiceras.