Introduction to Dependent Types with Idris: Encoding Program Proofs in Types - Boro Sitnikovski - Böcker - APress - 9781484292587 - 18 mars 2023
Om omslag och titel inte matchar är det titeln som gäller

Boro Sitnikovski
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types 1st edition

Få ett e-postmeddelande när artikeln är tillgänglig
Har du en profil? Logga in
Få avisering om nya utgåvor med Boro Sitnikovski

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
eller

Inte betygsatt ännu

157 pages, 139 Illustrations, black and white; XVIII, 157 p. 139 illus.

Media Böcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 18 mars 2023
ISBN13 9781484292587
Utgivare APress
Antal sidor 157
Mått 150 × 220 × 10 mm   ·   279 g
Språk Engelska  

Mer från samma **utgivare**

Se alt med Boro Sitnikovski ( t.ex. Pocketbok )