Certified Programming with Dependent Types - Adam Chlipala - Grāmatas - MIT Press - 9780262545747 - 2022. gada 7. jūnijs
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Adam Chlipala
Certified Programming with Dependent Types

Cena
€ 75,49

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 1. - 15. sept.
Saņemiet paziņojumus par jauniem Adam Chlipala 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

Mediji Grāmatas     Book
Izlaists 2022. gada 7. jūnijs
ISBN13 9780262545747
Izdevēji MIT Press
Lapas 436
Izmēri 150 × 220 × 20 mm   ·   680 g
Valoda Angļu  

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

Skatīt visus Adam Chlipala ( piem., Book )

Jūsu tiesības saskaņā ar juridisko garantiju