Dines Bjørner

Dines Bjørner

7 books in the database

Books

Structure of Pure ReasonDines Bjørner

Structure of Pure Reason

Dines Bjørner · 2025

Domain Science and EngineeringDines Bjørner

Domain Science and Engineering

Dines Bjørner · 2022

Software Engineering 2Dines Bjørner

Software Engineering 2

Dines Bjørner · 2007

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

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

Dines Bjørner · 2007

Software Engineering 3Dines Bjørner

Software Engineering 3

Dines Bjørner · 2006

Perspectives of System InformaticsDines Bjørner

Perspectives of System Informatics

Dines Bjørner · 2003

VDM '90. VDM and Z - Formal Methods in Software DevelopmentDines Bjørner

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

Dines Bjørner · 2014