Author

Willem-Paul de Roever

3 books in our library

All books by Willem-Paul de Roever

3 books

Concurrency verification

by W.-P. de Roever

Cover of Concurrency verification
Review
Buy this book More books like Concurrency verification

Formal techniques in real-time and fault-tolerant systems

by Jan Vytopil

Cover of Formal techniques in real-time and fault-tolerant systems
Review
Buy this book More books like Formal techniques in real-time and fault-tolerant systems

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
Review
Buy this book More books like Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency

Looking for another book by Willem-Paul de Roever? Search by title