Home
Leden
Boeken
Auteurs
Clubs
Naam ontvanger
E-mail ontvanger
Bericht
Hoi, Ik wilde je even wijzen op het boek: Proof reflection in Coq door D. Hendriks. http://www.boeklezers.nl/boeken/Proof+reflection+in+Coq/9789039329986 Groeten,
Inloggen /
Meedoen
Vergeten?
Verjaardagen
Gerda Verstraten
Ideeënbus
Help mee Boeklezers.nl te verbeteren, laat hier je goede idee achter! (Kunnen alleen de beheerders lezen)
