Vertel uw vrienden over dit artikel:
Certified Programming with Dependent Types Adam Chlipala
Prijs
€ 59,99
Besteld in een afgelegen magazijn
Verwachte levering 31 dec. - 8 jan. 2026
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld
Onze klanten zeggen:
Voeg toe aan uw iMusic-verlanglijst
Certified Programming with Dependent Types
Adam Chlipala
| Media | Boeken Book |
| Vrijgegeven | 7 juni 2022 |
| ISBN13 | 9780262545747 |
| Uitgevers | MIT Press |
| Pagina's | 436 |
| Afmetingen | 150 × 220 × 20 mm · 680 g |
| Taal en grammatica | Engels |
Bekijk alles van Adam Chlipala ( bijv. Book )