D. Bjørner
1937
Books
- Perspectives of system informatics
- Logics of specification languages
- Towards a formal description of Ada
- Towards a Formal Description of Ada (Lecture Notes in Computer Science)
- Formal specification and software development
- Software engineering
- The Vienna development method
- The Vienna development method
- Formal methods in programming and their applications
- The Vienna development method
- Formal methods and hybrid real-time systems
- Baltic computer science
- The theory of the finite state syntax directed transductions
Author data: Open Library