Dines Bjorner

5 books • 2 series

Nov 9, 2021
Cover of Domain Science and Engineering

Domain Science and Engineering (Monographs in Theoretical Computer Science. An EATCS)

Dec 7, 2007
Cover of Logics of Specification Languages

Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS)

Mar 9, 2006
Cover of Software Engineering 3

Software Engineering 3 (Texts in Theoretical Computer Science. An EATCS)

Feb 22, 2006
Cover of Software Engineering 2

Software Engineering 2 (Texts in Theoretical Computer Science. An EATCS)

Dec 19, 2005
Cover of Software Engineering 1

Software Engineering 1 (Texts in Theoretical Computer Science. An EATCS)