Bjørner, Dines, 1937-....
Bjørner, D. (Dines), 1937-
Bjørner, Dines
VIAF ID: 85519978 (Personal)
Permalink: http://viaf.org/viaf/85519978
Preferred Forms
-
100 1 _ ‡a Bjørner, Dines ‡d 1937-
-
100 1 _ ‡a Bjørner, Dines, ‡d 1937-....
-
100 1 _ ‡a Bjørner, Dines
-
100 1 _ ‡a Bjorner, Dines ‡d (1937- ).
-
100 1 _ ‡a Bjorner, Dines
-
100 1 _ ‡a Bjørner, D. ‡q (Dines), ‡d 1937-
-
100 1 _ ‡a Bjørner, D. ‡q (Dines), ‡d 1937-
-
100 1 _ ‡a Bjørner, Dines, ‡d 1937-
-
100 1 _ ‡a Bjørner, Dines, ‡d 1937-
4xx's: Alternate Name Forms (8)
Selected Titles
- Software engineering
(14)
- Perspectives of system informatics
(8)
- The Vienna Development Method: The Meta-Language
(6)
- Towards a formal description of ada
(5)
- Formal methods in programming and their applications international conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993 ; proceedings
(5)
- Baltic Computer Science
(5)
- VDM '87 VDM — A Formal Method at Work VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings
(4)
- Perspectives of System Informatics 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers
(4)
- Meta-language.
(4)
- Logics of specification languages
(4)
