Dines Bjørner
Identifiers
- Open LibraryOL7467026A
Top Subjects
- Computer software, development (1)
- Software engineering (1)
- Programming languages (electronic computers) (1)
- Logic, symbolic and mathematical (1)
Books by Dines Bjørner
Total count: 9
-
Modelling SystemsPractical Tools and Techniques in Software DevelopmentUniversity of Cambridge ESOL Examinations1998-01-01
-
Perspectives of System Informatics4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised PapersSpringer London, Limited2003-01-01
-
Software Engineering 3Domains, Requirements, and Software DesignSpringer2006-01-01
-
Software Engineering 2Specification of Systems and LanguagesSpringer2007-01-01
-
Logics of Specification LanguagesSpringer London, Limited2007-01-01
Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series)Springer2007-06-01-
VDM '90. VDM and Z - Formal Methods in Software DevelopmentThird International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, ProceedingsSpringer2014-03-12
-
Domain Science and EngineeringA Foundation for Software DevelopmentSpringer International Publishing AG2022-01-01
-
Structure of Pure ReasonPhilosophy's View of Our Situation in the WorldSpringer2025-01-01