Home / Authors / Dines Bjørner

Books by Dines Bjørner

All books by this author

6 books found
Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series)
Software Engineering 1: Abstraction and Modelling (Texts in…
By: Dines Bjørner
View Details
Software Engineering 3: Domains, Requirements, and Software Design (Texts in Theoretical Computer Science. An EATCS Series)
Software Engineering 3: Domains, Requirements, and Software…
By: Dines Bjørner
View Details
Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)
Software Engineering 2: Specification of Systems and Langua…
By: Dines Bjørner
View Details
Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series)
Software Engineering 1: Abstraction and Modelling (Texts in…
By: Dines Bjørner
View Details
Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)
Software Engineering 2: Specification of Systems and Langua…
By: Dines Bjørner
View Details
Software Engineering 3: Domains, Requirements, and Software Design (Texts in Theoretical Computer Science. An EATCS Series)
Software Engineering 3: Domains, Requirements, and Software…
By: Dines Bjørner
View Details