Reading Length
Home
Speed Tests
Login
Ernst-Rüdiger Olderog
Identifiers
Open Library
OL4041478A
Top Subjects
Logic Design (1)
Programming - General (1)
Computer Architecture - General (1)
Computers - General Information (1)
Programmtransformation (1)
Computers / Logic Design (1)
partielle und totale Programmkorrektheit (1)
Books by Ernst-Rüdiger Olderog
Total count: 7
Charakterisierung Hoarescher Systeme für ALGOL-ähnliche Programmiersprachen
Inst. für Informatik, Christan-Albrechts-Univ.
1981-01-01
Programmverifikation
Sequentielle, parallele und verteilte Programme (Springer-Lehrbuch)
1 edition
Springer
1996-04-24
Correct System Design
Recent Insights and Advances
Springer London, Limited
2003-01-01
Formal Techniques in Real-Time and Fault-Tolerant Systems
7th International Symposium, FTRTFT 2002, Co-Sponsored by IFIP WG 2. 2, Oldenburg, Germany, September 9-12, 2002. Proceedings
Springer London, Limited
2003-01-01
Real-Time Systems
2008-01-01
Verification of Sequential and Concurrent Programs
Springer London, Limited
2009-01-01
Provably Correct Systems
Springer
2017-03-02
