Reading Length
Home
Speed Tests
Login
Dines Bjørner
Identifiers
Open Library
OL7467026A
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 Systems
Practical Tools and Techniques in Software Development
University of Cambridge ESOL Examinations
1998-01-01
Perspectives of System Informatics
4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers
Springer London, Limited
2003-01-01
Software Engineering 3
Domains, Requirements, and Software Design
Springer
2006-01-01
Software Engineering 2
Specification of Systems and Languages
Springer
2007-01-01
Logics of Specification Languages
Springer London, Limited
2007-01-01
Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series)
Springer
2007-06-01
VDM '90. VDM and Z - Formal Methods in Software Development
Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings
Springer
2014-03-12
Domain Science and Engineering
A Foundation for Software Development
Springer International Publishing AG
2022-01-01
Structure of Pure Reason
Philosophy's View of Our Situation in the World
Springer
2025-01-01
