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 German National Library 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 (14)

Open Section Close SectionWorks

Title Sources
Abstract Software Specifications 1979 Copenhagen Winter School January 22 – February 2, 1979 Proceedings National Library of the Netherlands German National Library NUKAT Center of Warsaw University Library Sudoc [ABES], France Library of Congress/NACO
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 NUKAT Center of Warsaw University Library Sudoc [ABES], France National Library of the Netherlands German National Library 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 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers National Library of the Netherlands Library of Congress/NACO Sudoc [ABES], France
Perspectives of system informatics / Dines Bjorner, Manfred Broy, Igor V. Pottosin (eds.). - Berlin, 1996. National Library of the Netherlands German National Library NUKAT Center of Warsaw University Library
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 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 and Regions 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 (15)