W. P. De Roever
Author detail
Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.
Overview
Catalog identity and bibliographic footprint for this author.
Catalog identity
How this author appears inside the active Bookitis catalog.
Display name
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryAD
A Decade of concurrency
cover - Image source: Open LibrarySF
Semantics
cover - Image source: Open LibraryRT
Real-time, theory in practice
cover - Image source: Open LibraryFO
Foundations of object-oriented languages
cover - Image source: Open LibrarySR
Stepwise refinement of distributed systems
cover - Image source: Open LibraryCT
Current Trends in Concurrency
cover - FTFormal techniques in real-time...W. P. De Roever
Formal Techniques in Real-Time and Fault-Tolerant Systems
no cover - LTLinear Time, Branching Time, an...W. P. De Roever
Linear time, branching time, and partial order in logics and models for concurrency
no cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.
- Open Work
A Decade of concurrency
- Open Work
Semantics
- Open Work
Real-time, theory in practice
- Open Work
Foundations of object-oriented languages
- Open Work
Stepwise refinement of distributed systems
- Open Work
Current Trends in Concurrency
- Open Work
Formal Techniques in Real-Time and Fault-Tolerant Systems
- Open Work
Linear time, branching time, and partial order in logics and models for concurrency