Vertel uw vrienden over dit artikel:
Certified Programming with Dependent Types
Adam Chlipala
Prijs
Mex$ 1.621,80
Besteld in een afgelegen magazijn
Verwachte levering 16 - 27 mei
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 | 680 g |
| Taal en grammatica | Engels |
Bekijk alles van Adam Chlipala ( bijv. Book )