Certified Programming with Dependent Types - Adam Chlipala - Böcker - MIT Press - 9780262545747 - 7 juni 2022
Om omslag och titel inte matchar är det titeln som gäller

Adam Chlipala
Certified Programming with Dependent Types

Pris
SEK 649

Beställningsvara

Förväntad leverans 31 dec - 8 jan 2026
Julklappar kan bytas fram till 31:e januari

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
eller
Media Böcker     Bok
Releasedatum 7 juni 2022
ISBN13 9780262545747
Utgivare MIT Press
Antal sidor 436
Mått 150 × 220 × 20 mm   ·   680 g
Språk Engelska  

Se alt med Adam Chlipala ( t.ex. Bok )