Ernst-Rüdiger Olderog
Author detail
7 featured books
Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.
OL4041478A
Overview
Catalog identity and bibliographic footprint for this author.
7 representative editions
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 LibraryMC
Model Checking, Synthesis, and Learning
cover - Image source: Open LibraryPC
Provably Correct Systems
cover - Image source: Open LibraryVO
Verification of Sequential and Concurrent Programs
cover - Image source: Open LibraryP
Programmverifikation
cover - Image source: Open LibraryP
Programmverifikation
cover - RSReal-Time SystemsErnst-Rüdiger Olderog
Real-time Systems
no cover - CSCorrect System DesignErnst-Rüdiger Olderog
Correct System Design
no cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.