Willem-Paul 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 LibraryFM
Formal methods for components and objects
cover - Image source: Open LibraryFM
Formal methods for components and objects
cover - Image source: Open LibraryFM
Formal methods for components and objects
cover - Image source: Open LibraryCV
Concurrency verification
cover - Image source: Open LibraryDR
Data refinement
cover - Image source: Open LibraryFT
Formal techniques in real-time and fault-tolerant systems
cover - Image source: Open LibraryLT
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
cover - C:Compositionality : the Signific...Willem-Paul de Roever
Compositionality : the Significant Difference
no cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.
- Open Work
Formal methods for components and objects
- Open Work
Formal methods for components and objects
- Open Work
Formal methods for components and objects
- Open Work
Concurrency verification
- Open Work
Data refinement
- 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
- Open Work
Compositionality : the Significant Difference