Search

You searched for: Auteur Olderog, Ernst-Rüdiger Remove constraint Auteur: Olderog, Ernst-Rüdiger
1 - 3 of 3
Number of results to display per page

Search Results

1. Provably Correct Systems
thumbnail
Full text!
Author:
Hinchey, Mike; Bowen, Jonathan P.; Olderog, Ernst-Rüdiger; Bowen, Jonathan P.; Olderog, Ernst-Rüdiger
Publisher:
Springer International Publishing 2017
Format:
e-book
2. Verification of Sequential and Concurrent Programs
thumbnail
Full text!
Author:
Apt, Krzysztof R.; Boer, Frank S.; Olderog, Ernst-Rüdiger; de Boer, Frank S.; Pnueli, Amir
Publisher:
Springer London 2009
Format:
e-book
3. Model Checking, Synthesis, and Learning
thumbnail
Full text!
Author:
Ernst-Rüdiger Olderog; Steffen, Bernhard; Yi, Wang
Publisher:
Springer International Publishing 2021
Format:
e-book