VIAF

Virtual International Authority File

Search

Cover for 3540620648

Bjørner, Dines, 1937-....NUKAT Center (Poland)National Library of the Netherlands-testSUDOC (France)National Library of the Czech RepublicDeutsche Nationalbibliothek

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

Bjørner, DinesWikipedia (en)-testNational Diet Library (Japan)

VIAF ID: 85519978 (Personal)

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

Open SectionClose Section Preferred Forms

  • Deutsche Nationalbibliothek
    Internal VIAF record
    100 1 _ ‎‡a  Bjørner, Dines‏ ‎‡d  1937-
  • SUDOC (France)
    Internal VIAF record
    100 1 _ ‎‡a  Bjørner, Dines,‏ ‎‡d  1937-....
  • National Diet Library (Japan)
    Internal VIAF record
    100 1 _ ‎‡a  Bjørner, Dines
  • NUKAT Center (Poland)
    Internal VIAF record
    100 1 _ ‎‡a  Bjorner, Dines‏ ‎‡d  (1937- ).
  • Wikipedia (en)-test
    Internal VIAF record
    100 1 _ ‎‡a  Bjorner, Dines
  • National Library of Australia
    Internal VIAF record
    100 1 _ ‎‡a  Bjørner, D.‏ ‎‡q  (Dines),‏ ‎‡d  1937-
  • Library of Congress/NACO
    Internal VIAF record
    100 1 _ ‎‡a  Bjørner, D.‏ ‎‡q  (Dines),‏ ‎‡d  1937-
  • National Library of the Netherlands-test
    Internal VIAF record
    100 1 _ ‎‡a  Bjørner, Dines,‏ ‎‡d  1937-
  • National Library of the Czech Republic
    Internal VIAF record
    100 1 _ ‎‡a  Bjørner, Dines,‏ ‎‡d  1937-

 

 

Open SectionClose Section 4xx's: Alternate Name Forms (8)

Open SectionClose Section Selected Titles

  1. Software engineering ‎(14) National Library of the Netherlands-testLibrary of Congress/NACODeutsche Nationalbibliothek
  2. Perspectives of system informatics ‎(8) NUKAT Center (Poland)National Library of the Netherlands-testDeutsche Nationalbibliothek
  3. The Vienna Development Method: The Meta-Language ‎(6) NUKAT Center (Poland)Wikipedia (en)-testSUDOC (France)National Library of the Netherlands-testLibrary of Congress/NACO
  4. Towards a formal description of ada ‎(5) NUKAT Center (Poland)National Library of the Netherlands-testLibrary of Congress/NACODeutsche Nationalbibliothek
  5. Formal methods in programming and their applications international conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993 ; proceedings ‎(5) NUKAT Center (Poland)National Library of the Netherlands-testSUDOC (France)Deutsche Nationalbibliothek
  6. Baltic Computer Science ‎(5) NUKAT Center (Poland)National Library of the Netherlands-testSUDOC (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-testSUDOC (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-testSUDOC (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-testLibrary of Congress/NACODeutsche Nationalbibliothek

Open SectionClose Section Selected Co-authors

Open SectionClose Section Countries of Publication (5)

Open SectionClose Section Publication Statistics

Open SectionClose Section Selected Publishers (7)

Open SectionClose Section About

Open SectionClose Section History of VIAF ID:85519978 (21)