Home
Leden
Boeken
Auteurs
Clubs
Naam ontvanger
E-mail ontvanger
Bericht
Hoi, Ik wilde je even wijzen op het boek: Compositional verification of parallel programs using epistemic logic and abstract assertional languages door M. van Hulst. http://www.boeklezers.be/boeken/Compositional+verification+of+parallel+programs+using+epistemic+logic+and+abstract+assertional+languages/9789039310083 Groeten,
Inloggen /
Meedoen
Vergeten?
Populairste auteurs deze week
Populaire auteurs »
Ideeënbus
Help mee Boeklezers.nl te verbeteren, laat hier je goede idee achter! (Kunnen alleen de beheerders lezen)
