Challenge Faves

Join the Goodreads Author Program

Are you Dines Bjørner, author of the books below?
Software Engineering 1 by Dines Bjørner Logics of Specification Languages by Dines Bjørner Software Engineering 3 by Dines Bjørner Software Engineering by Dines Bjørner Perspectives of System Informatics by Dines Bjørner Partial Evaluation and Mixed Computation by Dines Bjørner VDM '87. VDM - A Formal Method at Work by Dines Bjørner Perspectives of System Informatics by Dines Bjørner Formal Specification and Software Development by Dines Bjørner The Vienna Development Method by Dines Bjørner


To join the author program as Dines Bjørner, you will first need to sign in to Goodreads. Then navigate back to this page to apply.


About the Author Program
Authors on Goodreads
Author Guidelines
Author Program How-To
Author & Advertisers Blog
Ask the Author: Featured Authors
About Goodreads