Home
Leden
Boeken
Auteurs
Clubs
Naam ontvanger
E-mail ontvanger
Bericht
Hoi, Ik wilde je even wijzen op het boek: A High-Level Formalization of Floating-Point Numbers in Pvs door United States Government & U.S. Government. http://www.boeklezers.nl/boeken/A+High-Level+Formalization+of+Floating-Point+Numbers+in+Pvs/9781234073848 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)
