Vertel uw vrienden over dit artikel:
Certified Programming with Dependent Types
Adam Chlipala
Prijs
NOK 869
Besteld in een afgelegen magazijn
Verwachte levering 23 jun. - 2 jul.
Onze klanten zeggen:
Voeg toe aan uw iMusic-verlanglijst
Eller
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 )