Kaft voor Compositional verification of parallel programs using epistemic logic and abstract assertional languages door M. van Hulst

Compositional verification of parallel programs using epistemic logic and abstract assertional languages door M. van Hulst

Inloggen / Meedoen

Populaire boeken

Bloeddorst
De groene mijl
Het meisje dat verdween..
Het Achterhuis
De boekendief

Populaire boeken »

Ideeënbus

© Boeklezers.nl