Introduction to Dependent Types with Idris: Encoding Program Proofs in Types (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Softwareudvikling
  5. Introduction to Dependent Types with Idris: Encoding Program...

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

(Bog, Paperback / softback, Engelsk)
Forfatter: Boro Sitnikovski
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
Forlag: APress

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Softwareudvikling
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Læsernes anmeldelser (0)

Alle detaljer

Forlag APress
Forfatter Boro Sitnikovski
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 1st ed.
Udgivelsesdato 18-03-2023
Første udgivelsesår 2023
Illustrationer 139 Illustrations, black and white
Originalsprog United States
Sideantal 157
Indbinding Paperback / softback
Forlag APress
Sideoplysninger 157 pages, 139 Illustrations, black and white
Mål 235 x 155
ISBN-13 / EAN-13 9781484292587