Home Advanced Search

Advanced Search - Page 1

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989
  • PDF
  • English
  • Year: 1989
  • Author: Dines Bjørner (auth.), J. Díaz, F. Orejas (eds.)
Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings
  • DJVU
  • English
  • Year: 1996
  • Author: Dines Bjørner (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)
Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings
  • PDF
  • English
  • Year: 1996
  • Author: Dines Bjørner (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)
Towards a Formal Description of Ada
  • PDF
  • English
  • Year: 1980
  • Author: Dines Bjørner, Ole Nybye Oest (auth.), D. Bjørner, O. N. Nest (eds.)
VDM '87 VDM — A Formal Method at Work: VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings
  • PDF
  • English
  • Year: 1987
  • Author: Peter Lucas (auth.), Dines Bjørner, Cliff B. Jones, Mícheál Mac an Airchinnigh, Erich J. Neuhold (eds.)
The Vienna Development Method: The Meta-Language
  • DJVU
  • English
  • Year: 1978
  • Author: Peter Lucas (auth.), Dines Bjørner, Cliff B. Jones (eds.)
Baltic Computer Science: Selected Papers
  • PDF
  • English
  • Year: 1991
  • Author: G. Mints, E. Tyugu (auth.), Janis Bārzdinš, Dines Bjørner (eds.)
Domain Science and Engineering. A Foundation for Software Development.
  • PDF
  • English
  • Year: 2021
  • Author: Dines Bjørner
Domains, requirements, and software design
  • PDF
  • English
  • Year: 2006
  • Author: Bjørner, Dines
Software Engineering 1: Abstraction and Modelling
  • PDF
  • English
  • Year: 2006
  • Author: Dines Bjørner
search