Bücher nach ISBN

Ernst-Rüdiger Olderog

E R · E. -R. Olderog · Ernst R. Olderog · Ernst-Rudiger Olderog

Cambridge University Press · Springer

TitelArt ISBN-13Erschei-
nungsjahr		andere Autoren
Correct System Design: Recent Insights and AdvancesTaschenbuch 978-3-540-66624-01999Bernhard Steffen
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, ... Notes in Computer Science , Band 2469)  " 978-3-540-44165-62008Werner Damm
Programmverifikation: Sequentielle, parallele und verteilte Programme  " 978-3-540-57479-81994Krzysztof R. Apt
Provably Correct Systems  " 978-3-319-83980-62018Mike Hinchey · Jonathan P. Bowen
Provably Correct SystemsGebunden 978-3-319-48627-72017Mike Hinchey · Jonathan P. Bowen
Real-Time Systems: Formal Specification and Automatic VerificationHardcover
978-0-521-88333-72008Henning Dierks
Verification of Sequential and Concurrent Programs  "
978-1-84882-744-82009Krzysztof R. Apt · Frank S. de Boer
Verification of Sequential and Concurrent Programs  "
978-0-387-94896-61997Krzysztof R. Apt
Verification of Sequential and Concurrent ProgramsGebunden 978-3-540-97532-81991  "

 

Ernst Rüdin