E. -R. Olderog · Ernst R. Olderog
| Titel | Art | ISBN-13 | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|---|
| Correct System Design: Recent Insights and Advances | Taschenbuch | 978-3-540-66624-0 | 1999 | Bernhard Steffen | |
| Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, ... | " | 978-3-540-44165-6 | 2002 | Werner Damm | |
| Verification of Sequential and Concurrent Programs | Hardcover | 978-0-387-94896-6 | 1997 | Krzysztof R. Apt | |
| Verification of Sequential and Concurrent Programs | Gebundene Ausgabe | 978-3-540-97532-8 | 1991 | " |