VIAF

Virtual International Authority File

Search

Bjørner, Dines, 1937-.... National Library of the Czech Republic German National Library Sudoc [ABES], France ISNI-test National Library of the Netherlands-test NUKAT Center of Warsaw University Library

Bjørner, D. (Dines), 1937- National Library of Australia Library of Congress/NACO

Bjørner, Dines Wikipedia (en)-test National Diet Library, Japan

VIAF ID: 85519978 (Personal)

Permalink: http://viaf.org/viaf/85519978

ISNI-test: 0000  0001  1476  5977 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (11)

Open Section Close Section Selected Titles

  1. Software engineering ‎(14) National Library of the Netherlands-test Library of Congress/NACO German National Library
  2. Perspectives of system informatics ‎(8) NUKAT Center of Warsaw University Library National Library of the Netherlands-test German National Library
  3. The Vienna Development Method: The Meta-Language ‎(6) NUKAT Center of Warsaw University Library National Library of the Netherlands-test Sudoc [ABES], France Library of Congress/NACO German National Library
  4. Formal Methods in Programming and Their Applications International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings ‎(6) NUKAT Center of Warsaw University Library National Library of the Netherlands-test Sudoc [ABES], France Library of Congress/NACO German National Library
  5. Towards a formal description of Ada ‎(5) NUKAT Center of Warsaw University Library National Library of the Netherlands-test Library of Congress/NACO German National Library
  6. Baltic Computer Science Selected Papers ‎(5) NUKAT Center of Warsaw University Library National Library of the Netherlands-test Sudoc [ABES], France Library of Congress/NACO
  7. VDM '87 VDM — A Formal Method at Work VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings ‎(4) National Library of the Netherlands-test Sudoc [ABES], France Library of Congress/NACO
  8. Perspectives of System Informatics 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers ‎(4) National Library of the Netherlands-test Sudoc [ABES], France Library of Congress/NACO
  9. Meta-language. ‎(4) National Library of the Netherlands-test
  10. Logics of specification languages ‎(4) National Library of the Netherlands-test Library of Congress/NACO German National Library

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (5)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (7)

Open Section Close Section About

Open Section Close Section History of VIAF ID:85519978 (22)