Introduction to Dependent Types with Idris: Encoding Program Proofs in Types - Boro Sitnikovski - Grāmatas - APress - 9781484292587 - 2023. gada 18. marts
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

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

Saņemt e-pastu, kad prece būs pieejama
Do you have a profile? Pierakstīties
Saņemiet paziņojumus par jauniem Boro Sitnikovski izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

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

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2023. gada 18. marts
ISBN13 9781484292587
Izdevēji APress
Lapas 157
Izmēri 150 × 220 × 10 mm   ·   279 g
Valoda Angļu  

Vairāk no tā paša izdevēja

Skatīt visus Boro Sitnikovski ( piem., Paperback Book )