VIAF

Virtual International Authority File

Search

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

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

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, January 22-February 2, 1979 : proceedings National Library of the Netherlands Library of Congress/NACO German National Library NUKAT Center of Warsaw University Library Sudoc [ABES], France
Baltic Computer Science Selected Papers National Library of the Netherlands Library of Congress/NACO NUKAT Center of Warsaw University Library Sudoc [ABES], France
Domain engineering : technology management, research and engineering : 北陸先端科学技術大学院大学21世紀COEプログラム検証進化可能電子社会 Library of Congress/NACO National Diet Library, Japan
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 Library of Congress/NACO NUKAT Center of Warsaw University Library Sudoc [ABES], France
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 German National Library NUKAT Center of Warsaw University Library Sudoc [ABES], France Library of Congress/NACO
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 National Library of the Netherlands Library of Congress/NACO NUKAT Center of Warsaw University Library Sudoc [ABES], France
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 Library of Congress/NACO German National Library Sudoc [ABES], France
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
n82058414 National Diet Library, Japan
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 German National Library NUKAT Center of Warsaw University Library Sudoc [ABES], France Library of Congress/NACO
Perspectives of system informatics National Library of the Netherlands German National Library 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 Library of Congress/NACO German National Library 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 National Library of the Netherlands German National Library NUKAT Center of Warsaw University Library Sudoc [ABES], France Library of Congress/NACO
VDM '87 VDM — A Formal Method at Work VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings National Library of the Netherlands Library of Congress/NACO German National Library NUKAT Center of Warsaw University Library Sudoc [ABES], France
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 German National Library NUKAT Center of Warsaw University Library Sudoc [ABES], France Library of Congress/NACO
VDM ninety Sudoc [ABES], France
The Vienna development method : the meta-language National Library of the Netherlands German National Library NUKAT Center of Warsaw University Library Sudoc [ABES], France Library of Congress/NACO

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)