Kaft voor Abstract interpretation of reactive systems: preservation of CTL door D. Dams

Abstract interpretation of reactive systems: preservation of CTL door D. Dams

Inloggen / Meedoen

Meest gerecenseerd

Haar naam was Sarah
Caleidoscoop
Een keukenmeidenroman..
Maar je krijgt er wel heel vee..
Mannen die vrouwen haten..

Alle toplijsten »

Ideeënbus

© Boeklezers.nl