Ernst-Rüdiger Olderog — Books & Biography | Menrva Books | MenrvaBooks

Ernst-Rüdiger Olderog

Is this your author profile? Create an account to customize it!

Stand Alone

Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Programmverifikation Sequentielle, parallele und verteilte Programme

Verification of Sequential and Concurrent Programs (Texts & Monographs in Computer Science)

Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Company

Why Menrva Books

Help & Support

Legal & Privacy

© 2026 Menrva Books

All Rights Reserved.