Dines Bjørner

Perspectives of System Informatics

2003

Domain Science and Engineering

2022

VDM '90. VDM and Z - Formal Methods in Software Development

2014

Structure of Pure Reason

2025

Software Engineering 3

2006

Software Engineering 3

2006

Software Engineering 2

2007

Software Engineering 2

2006

Software Engineering 2 Specification Of Systems And Languages

2010

Software Engineering 1

2008

Software Engineering 1 Abstraction And Modelling

2011

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

2007

Partial evaluation and mixed computation

1988

Images of programming

1991