Home
Leden
Boeken
Auteurs
Clubs
Naam ontvanger
E-mail ontvanger
Bericht
Hoi, Ik wilde je even wijzen op het boek: Timed Automata as a Verification Tool for Security Protocols door Burcu Külahçioglu & Burcu K. http://www.boeklezers.be/boeken/Timed+Automata+as+a+Verification+Tool+for+Security+Protocols/9783844394603 Groeten,
Inloggen /
Meedoen
Vergeten?
Meest gerecenseerd deze week
Alle toplijsten »
Ideeënbus
Help mee Boeklezers.nl te verbeteren, laat hier je goede idee achter! (Kunnen alleen de beheerders lezen)
