Zoeken

U zocht naar: Auteur Ernst-Rüdiger Olderog Filter Auteur: Ernst-Rüdiger Olderog weghalen
1 - 3 van 3
Aantal zoekresultaten per pagina

Zoekresultaten

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