STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Mannes Poel | lit.salon
Mannes Poel
No bio available.
Add one in Open Library.
Books by Mannes Poel (50 max)
+ shelf
+ list
Concurrency verification: introduction to compositional and noncompositional methods
2001
W.-P. de Roever, Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers
