Home
Leden
Boeken
Auteurs
Clubs
Naam ontvanger
E-mail ontvanger
Bericht
Hoi, Ik wilde je even wijzen op het boek: Compositional Verification of Concurrent and Real-Time Systems door Jeffrey J.P. Tsai & Eric Y. T. Juan. http://www.boeklezers.nl/boeken/Compositional+Verification+of+Concurrent+and+Real-Time+Systems/9781461353492 Groeten,
Inloggen /
Meedoen
Vergeten?
Meeste verlanglijsten
Na de winter
De engel van Spakenburg..
Bacteriƫn moeten ook leven..
Arend
Haar naam was Sarah
Alle toplijsten »
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.'); });