VIAF

Virtual International Authority File

Search

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

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

Bjørner, Dines National Diet Library, Japan

Dines Bjørner Wikidata

VIAF ID: 85519978 (Personal)

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

ISNI: 0000  0001  1476  5977 

Open Section Close Section Preferred Forms

 

 

 

 

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

Open Section Close SectionWorks

Title Sources
Abstract software specifications 1979 Copenhagen Winter School, Janauary 22-February 2, 1979 : proceedings xR Extended Titles NUKAT Center of Warsaw University Library Sudoc [ABES], France National Library of the Netherlands Library of Congress/NACO
Baltic computer science : selected papers National Library of the Netherlands NUKAT Center of Warsaw University Library 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 essays in honour of Dines Bjøerner and Zhou Chaochen on the occasion of their 70th birthdays xR Extended Titles Library of Congress/NACO
Formal methods in programming and their applications : international conference, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 : proceedings NUKAT Center of Warsaw University Library Library of Congress/NACO National Library of the Netherlands 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 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 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
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 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 NUKAT Center of Warsaw University Library Sudoc [ABES], France Library of Congress/NACO
PSI 2001 National Library of the Netherlands Library of Congress/NACO
Software engineering National Library of the Netherlands Sudoc [ABES], France Library of Congress/NACO
The theory of the finite state syntax directed transductions & A flow-mode, self-steering, cellular multiplier-summation processor. Library of Congress/NACO
Towardsa formal description of ada National Library of the Netherlands Sudoc [ABES], France Library of Congress/NACO xR Extended Titles NUKAT Center of Warsaw University Library
VDM '87. VDM - A Formal Method at Work VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings xR Extended Titles National Library of the Netherlands 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 NUKAT Center of Warsaw University Library Library of Congress/NACO National Library of the Netherlands Sudoc [ABES], France
VDM ninety Sudoc [ABES], France
The Vienna development method : the Meta-language NUKAT Center of Warsaw University Library Library of Congress/NACO National Library of the Netherlands 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 (26)