D
Dines Bjørner
7 works on record
Works

Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series)

Domain Science and Engineering
VDM '90. VDM and Z - Formal Methods in Software Development
VDM '90. VDM and Z - Formal Methods in Software Development
Perspectives of System Informatics
Perspectives of System Informatics
Software Engineering 3
Software Engineering 3
Software Engineering 2
Software Engineering 2
Structure of Pure Reason
Structure of Pure Reason