Home
Leden
Boeken
Auteurs
Clubs
Naam ontvanger
E-mail ontvanger
Bericht
Hoi, Ik wilde je even wijzen op het boek: Interactive Theorem Proving and Program Development door Pierre Casteran & Pierre Cast Ran. http://www.boeklezers.be/boeken/Interactive+Theorem+Proving+and+Program+Development/9783642058806 Groeten,
Inloggen /
Meedoen
Vergeten?
Populaire boeken
Bloeddorst
De groene mijl
Het meisje dat verdween..
Het Achterhuis
De boekendief
Populaire boeken »
Ideeënbus
Help mee Boeklezers.nl te verbeteren, laat hier je goede idee achter! (Kunnen alleen de beheerders lezen)
domReadyCallbacks.push( function() { new Error('Sorry, dit kan je alleen doen als je ingelogd bent. Als je nog geen lid bent, kun je dat
hier
worden.'); });