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) 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 SectionWorks

Title Sources
Abstract software specifications 1979 Copenhagen Winter School, Janauary 22-February 2, 1979 : proceedings xR Extended Titles-test National Library of the Netherlands-test NUKAT Center of Warsaw University Library Library of Congress/NACO Sudoc [ABES], France
Baltic computer science : selected papers NUKAT Center of Warsaw University Library National Library of the Netherlands-test Sudoc [ABES], France Library of Congress/NACO
Domain engineering : technology management, research and engineering : 北陸先端科学技術大学院大学21世紀COEプログラム検証進化可能電子社会 National Diet Library, Japan Library of Congress/NACO
Formal description of programming concepts - II : proceedings of the IFIP Working Conference on Formal Description of Programming Concepts-II, Garmisch-Partenkirchen, FRG, 1-4 June 1982 NUKAT Center of Warsaw University Library Sudoc [ABES], France Library of Congress/NACO
Formal methods and hybrid real-time systems, c2007: Library of Congress/NACO
Formal methods in programming and their applications : international conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993 : proceedings National Library of the Netherlands-test Library of Congress/NACO NUKAT Center of Warsaw University Library Sudoc [ABES], France
Hokuriku Sentan Kagaku Gijutsu Daigakuin Daigaku 21-seiki COE puroguramu kenshō shinka kanō denshi shakai Library of Congress/NACO National Diet Library, Japan
Images of programming : dedicated to the memory of A. P. Ershov NUKAT Center of Warsaw University Library National Library of the Netherlands-test Sudoc [ABES], France Library of Congress/NACO
International Conference on Fifth Generation Computer Systems 1992 : June 1-5, 1992, Tokyo Prince Hotel, Tokyo, Japan. National Diet Library, Japan
Logics of specification languages National Library of the Netherlands-test Sudoc [ABES], France Library of Congress/NACO
Mathematical foundations of computer science, 1980 : proceedings of the 9th symposium held in Rydzyna, Poland, September 1-5, 1980 National Library of the Netherlands-test
Mélanges. Ershov, Andrei P Sudoc [ABES], France
Partial evaluation and mixed computation : proceedings of the IFIP TC2 Workshop on Partial Evaluation and Mixed Computation, Gammel Avernæs, Denmark, 18-24 October, 1987 National Library of the Netherlands-test NUKAT Center of Warsaw University Library Sudoc [ABES], France Library of Congress/NACO
Perspectives of system informatics : 4th International Andrei Ershov Memorial Conference, PSI '2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised papers National Library of the Netherlands-test NUKAT Center of Warsaw University Library Sudoc [ABES], France Library of Congress/NACO
PSI 2001 National Library of the Netherlands-test Library of Congress/NACO
Software engineering Library of Congress/NACO National Library of the Netherlands-test Wikipedia (en) Sudoc [ABES], France
The theory of the finite state syntax directed transductions & A flow-mode, self-steering, cellular multiplier-summation processor. Library of Congress/NACO
Towards a formal description of Ada NUKAT Center of Warsaw University Library National Library of the Netherlands-test Library of Congress/NACO xR Extended Titles-test Sudoc [ABES], France
VDM '87. VDM - A Formal Method at Work VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings xR Extended Titles-test National Library of the Netherlands-test NUKAT Center of Warsaw University Library Sudoc [ABES], France Library of Congress/NACO
VDM '90 : VDM and Z - formal methods in software development : third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 : proceedings National Library of the Netherlands-test Library of Congress/NACO NUKAT Center of Warsaw University Library Wikipedia (en) Sudoc [ABES], France
VDM ninety Sudoc [ABES], France
The Vienna development method : the meta-language National Library of the Netherlands-test Library of Congress/NACO NUKAT Center of Warsaw University Library Wikipedia (en) Sudoc [ABES], France

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 (24)