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 789

Beställningsvara

Förväntad leverans 14 - 28 aug
Få avisering om nya utgåvor med Adam Chlipala

Våra kunder säger:

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

Inte betygsatt ännu

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  

Mer från samma **utgivare**

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