STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Dines Bjørner | lit.salon
Dines Bjørner
No bio available.
Add one in Open Library.
Books by Dines Bjørner (50 max)
+ shelf
+ list
Perspectives of System Informatics 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers
2003
Dines Bjørner, Manfred Broy, Alexandre V. Zamulin
+ shelf
+ list
Domain Science and Engineering A Foundation for Software Development
2022
Dines Bjørner
+ shelf
+ list
Software Engineering 3 Domains, Requirements, and Software Design
2006
Dines Bjørner
+ shelf
+ list
Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series)
2007
Dines Bjørner
+ shelf
+ list
Software Engineering 2 Specification of Systems and Languages
2007
Dines Bjørner
+ shelf
+ list
VDM '90. VDM and Z - Formal Methods in Software Development Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings
2014
Dines Bjørner, C. A. R. Hoare, Hans Langmaack
+ shelf
+ list
Structure of Pure Reason: Philosophy's View of Our Situation in the World
2025
Dines Bjørner, Kai Sørlander
