Ernst-Rüdiger Olderog

ספרים שבהם Ernst-Rüdiger Olderog מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Provably Correct SystemsMike Hinchey

Provably Correct Systems

Mike Hinchey · 2017

Formal Techniques in Real-Time and Fault-Tolerant SystemsWerner Damm

Formal Techniques in Real-Time and Fault-Tolerant Systems

Werner Damm · 2003

ProgrammverifikationKrzysztof R. Apt

Programmverifikation

Krzysztof R. Apt · 1996

ProgrammverifikationKrzysztof R. Apt

Programmverifikation

Krzysztof R. Apt · 1994