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

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

Log in / Sign Up

Most wished books

Na de winter
De engel van Spakenburg..
Bacteriën moeten ook leven..
Arend
Haar naam was Sarah

All toplists »

Idea box

© Boeklezers.nl