We use cookies to improve your experience on this site. Learn more

Necessary (required) Required for the site to function. Cannot be disabled.

Analytics Help us understand how visitors use the site.

Search books

My Library
Sign in
Sign up

Home
Authors
W.-P. de Roever

Author

W.-P. de Roever

4 books in our library

All books by W.-P. de Roever

4 books

A Decade of concurrency

by W.-P. de Roever

Cover of A Decade of concurrency

Buy this book More books like A Decade of concurrency

Stepwise refinement of distributed systems

by W.-P. de Roever

Cover of Stepwise refinement of distributed systems

Buy this book More books like Stepwise refinement of distributed systems

Concurrency verification

by W.-P. de Roever

Cover of Concurrency verification

Buy this book More books like Concurrency verification

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency

by W.-P. de Roever

Cover of Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency

Buy this book More books like Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency

Looking for another book by W.-P. de Roever? Search by title

We have 2 835 274 books in our database.

About Privacy Contact FAQ

Bookscovery is a participant in the Amazon Services LLC Associates Program and the Bookshop.org Affiliate Program, affiliate advertising programs designed to provide a means for sites to earn advertising fees by advertising and linking to the affiliate websites.

© 2026 bookscovery.com, Gareth James. Book data provided by Open Library.