D. Bjørner
D. Bjørner
Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.
Overview
Catalog identity and bibliographic footprint for this author.
Catalog identity
How this author appears inside the active Bookitis catalog.
Display name
Personal name
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryLO
Logics of specification languages
cover - Image source: Open LibraryFM
Formal methods and hybrid real-time systems
cover - Image source: Open LibrarySE
Software engineering
cover - Image source: Open LibraryPO
Perspectives of system informatics
cover - Image source: Open LibraryFM
Formal methods in programming and their applications
cover - Image source: Open LibraryBC
Baltic computer science
cover - Image source: Open LibraryFS
Formal specification and software development
cover - Image source: Open LibraryTA
Towards a formal description of Ada
cover - Image source: Open LibraryTA
Towards a Formal Description of Ada (Lecture Notes in Computer Science)
cover - Image source: Open LibraryTV
The Vienna development method
cover - Image source: Open LibraryTV
The Vienna development method
cover - TVThe Vienna development methodD. Bjørner
The Vienna development method
no cover - TTThe theory of the finite state...D. Bjørner
The theory of the finite state syntax directed transductions
no cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.
- Open Work
Logics of specification languages
- Open Work
Formal methods and hybrid real-time systems
- Open Work
Software engineering
- Open Work
Perspectives of system informatics
- Open Work
Formal methods in programming and their applications
- Open Work
Baltic computer science
- Open Work
Formal specification and software development
- Open Work
Towards a formal description of Ada
- Open Work
Towards a Formal Description of Ada (Lecture Notes in Computer Science)
- Open Work
The Vienna development method
- Open Work
The Vienna development method
- Open Work
The Vienna development method
- Open Work
The theory of the finite state syntax directed transductions