Maurice H. ter Beek
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 LibraryFS
From Software Engineering to Formal Methods and Tools, and Back
cover - Image source: Open LibraryFM
Formal Methods – The Next 30 Years
cover - Image source: Open LibraryWS
Web Services and Formal Methods
cover - Image source: Open LibraryCM
Coordination Models and Languages
cover - IFIntegrated Formal MethodsMaurice H. ter Beek
Integrated Formal Methods
no cover - FMFormal Methods for Industrial C...Maurice H. ter Beek
Formal Methods for Industrial Critical Systems
no cover - ADArchitecting Dependable Systems VIMaurice H. ter Beek
Architecting Dependable Systems VI
no cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.
- Open Work
From Software Engineering to Formal Methods and Tools, and Back
- Open Work
Formal Methods – The Next 30 Years
- Open Work
Web Services and Formal Methods
- Open Work
Coordination Models and Languages
- Open Work
Integrated Formal Methods
- Open Work
Formal Methods for Industrial Critical Systems
- Open Work
Architecting Dependable Systems VI