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

Certified Programming with Dependent Types

Adam Chlipala

Pris
Íkr 10.779,14

Beställningsvara

Förväntad leverans 2 - 11 jun
Lägg till din iMusic-önskelista
Eller

Certified Programming with Dependent Types

Media Böcker     Bok
Releasedatum 7 juni 2022
ISBN13 9780262545747
Utgivare MIT Press
Antal sidor 436
Mått 680 g
Språk Engelska  

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