logo
Wrong email address or username
Wrong email address or username
Incorrect verification code

Ernst-Rxfcdiger Olderog's Books back

language per page order
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September ... (Lecture Notes in Computer Science) - Werner Damm, Ernst-Rxfcdiger Olderog
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September ... (Lecture Notes in Computer Science)
by Werner Damm (author), Ernst-Rxfcdiger Olderog (author)
publisher: Springer publish date: June 13th 2008
format: kindle pages: 455
language: English
ASIN: B000V5FNO2
Verification of Sequential and Concurrent Programs (Texts in Computer Science) - Krzysztof R. Apt, Ernst-Rxfcdiger Olderog
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
by Krzysztof R. Apt (author), Ernst-Rxfcdiger Olderog (author)
publisher: Springer publish date: May 13th 1997
format: kindle pages: 364
language: English
ASIN: B000QXD7BU
Correct System Design: Recent Insights and Advances (Lecture Notes in Computer Science) - Ernst-Rxfcdiger Olderog, Bernhard Steffen
Correct System Design: Recent Insights and Advances (Lecture Notes in Computer Science)
by Bernhard Steffen (author), Ernst-Rxfcdiger Olderog (author)
publisher: Springer publish date: June 13th 2008
format: kindle pages: 422
language: English
ASIN: B000QJMBHA
Need help?