Home
Leden
Boeken
Auteurs
Clubs
Naam ontvanger
E-mail ontvanger
Bericht
Hoi, Ik wilde je even wijzen op het boek: Reasoning about Java programs higher order logic using PVS and Isabelle door Marijke Huisman. http://www.boeklezers.nl/boeken/Reasoning+about+Java+programs+higher+order+logic+using+PVS+and+Isabelle/9789090144405 Groeten,
Inloggen /
Meedoen
Vergeten?
Bestsellers
Topshow
Mooie meisjes
Dit kan niet waar zijn..
Het meisje in de trein..
Powerfood - Van Friesland naar..
Alle bestsellers »
Ideeënbus
Help mee Boeklezers.nl te verbeteren, laat hier je goede idee achter! (Kunnen alleen de beheerders lezen)
