TV Shows Anime Top 250 TV Top 100 Anime

Books Manga Top 125 Books Top 100 Manga

For you Trending Tier Lists The Archive Leaderboard

Log in Sign up free

Everything you watch, play and read — tracked, rated and remembered in one library.

Explore

Films
TV
Anime
Games
Books
Manga

Discover

Trending
Leaderboard
Find people
Lists
Tier lists

Company

Tour
About
Community guidelines
Privacy
Terms
Contact

© 2026 fraeon. All rights reserved. ·

Metadata from TMDB, RAWG, Jikan & Open Library. This product uses the TMDB API but is not endorsed or certified by TMDB.

Questions or ideas? mehmet@avortas.com

Home FeedProfile

Books · Search

Books by Ernst-Rüdiger Olderog

Provably Correct Systems

Software engineering · Programming languages (electronic computers)

Provably Correct Systems

2017

Programmverifikation

Programmverifikation

Krzysztof R. Apt

1996

Model Checking, Synthesis, and Learning

Model Checking, Synthesis, and Learning

Ernst-Rüdiger Olderog

2021

Correct System Design

Ernst-Rüdiger Olderog

2003

Formal Techniques in Real-Time and Fault-Tolerant Systems

2003

Charakterisierung Hoarescher Systeme für ALGOL-ähnliche Programmiersprachen

Ernst-Rüdiger Olderog

1981

Programmverifikation

Programmverifikation

Programmverifikation

Krzysztof R. Apt

1994