AboutSign inJoin
User photo

Dines Bjørner

About

Professor Dines Bjørner is a Danish computer scientist.

Books

Formal Specification and Software Development
Formal Specification and Software Development
Cliff B. Jones, Dines Bjørner
Software Engineering 1
Software Engineering 1
Dines Bjørner
Software Engineering 3
Software Engineering 3
Dines Bjørner
Partial Evaluation and Mixed Computation
Partial Evaluation and Mixed Computation
Neil D. Jones, Dines Bjørner, Andreĭ Petrovich Ershov
VDM '87. VDM - A Formal Method at Work
VDM '87. VDM - A Formal Method at Work
Cliff Jones, Erich J. Neuhold, Dines Bjørner, Michael Mac An Airchinnigh
Logics of Specification Languages
Logics of Specification Languages
Dines Bjørner, Martin C. Henson
Perspectives of System Informatics
Perspectives of System Informatics
Manfred Broy, Dines Bjørner, Alexandre V. Zamulin
Software Engineering 2
Software Engineering 2
Dines Bjørner
Domain Science and Engineering
Domain Science and Engineering
Dines Bjørner

Join the club

Track what you're reading, see what your friends are into and explore the ideas of the world's greatest authors together.

Download on the App StoreDownload on the Google Play Store
... or sign up right here
Company
  • About
  • Partners
  • Careers
  • Press
  • Legal
  • Privacy
Social
  • Twitter
  • Instagram
  • Facebook
  • TikTok
Support
  • FAQ
  • Changelog
  • Feature ideas
  • API
  • Widget
  • Contact
App
  • iPhone app
  • Android app
Help us
  • Become a Patron
  • Become a Librarian