Er is geen omschrijving gevonden.
U ontvangt bij ons altijd de laatste druk!
Ik heb een vraag over het boek: ‘Certified Programming with Dependent Types - Chlipala, Adam (Assistant Professor’. Vul het onderstaande formulier in. We zullen zo spoedig mogelijk antwoorden.
