Dines Bjørner

Software Engineering 3: Domains, Requirements, and Software Design (Texts in Theoretical Computer Science. An EATCS Series)

2006 · ENGLISH · PDF

View details →

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

2005 · ENGLISH · PDF

View details →

Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)

2006 · ENGLISH · PDF

View details →

Domain Science and Engineering. A Foundation for Software Development.

2021 · ENGLISH · PDF

View details →

Domain Science and Engineering: A Foundation for Software Development

2021 · ENGLISH · PDF

View details →

Software Engineering 1: Abstraction and Modelling

2006 · ENGLISH · PDF

View details →

Software Engineering 1: Abstraction and Modelling

2006 · ENGLISH · PDF

View details →

Software Engineering 3: Domains, Requirements, and Software Design

2006 · ENGLISH · PDF

View details →

Software Engineering 2: Specification of Systems and Languages

2006 · ENGLISH · PDF

View details →

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

1996 · ENGLISH · PDF

View details →

Formal Methods in Programming and Their Applications: International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings

1993 · ENGLISH · PDF

View details →

VDM '87 VDM — A Formal Method at Work: VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings

1987 · ENGLISH · PDF

View details →

Towards a Formal Description of Ada

1980 · ENGLISH · PDF

View details →

Logics of Specification Languages

2008 · ENGLISH · PDF

View details →

Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers

2001 · ENGLISH · PDF

View details →

Logics of Specification Languages

2008 · ENGLISH · PDF

View details →

Software Engineering 2: Specification of Systems and Languages

2006 · ENGLISH · PDF

View details →

Domain engineering : technology, management, research and engineering (COE Research Monograph Series,Vol.4)

ENGLISH · PDF

View details →

Software Engineering 1: Abstraction and Modelling

2006 · ENGLISH · PDF

View details →

Software Engineering 3: Domains, Requirements, and Software Design

2006 · ENGLISH · PDF

View details →

Logics of Specification Languages

2008 · ENGLISH · PDF

View details →

VDM '87 VDM — A Formal Method at Work: VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings

1987 · ENGLISH · DJVU

View details →

Towards a Formal Description of Ada

1980 · ENGLISH · DJVU

View details →

Software Engineering 3: Domains, Requirements, and Software Design

2006 · ENGLISH · PDF

View details →