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 Israel National Library of Australia

Bjørner, Dines BIBSYS National Diet Library, Japan

Dines Bjørner Wikidata

VIAF ID: 85519978 (Personal)

Permalink: https://viaf.org/viaf/85519978

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 BIBSYS
Baltic computer science : selected papers National Library of the Netherlands Library of Congress/NACO BIBSYS 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 BIBSYS NUKAT Center of Warsaw University Library Sudoc [ABES], France
Formal methods and hybrid real-time systems, c2007: Library of Congress/NACO National Library of Israel
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 BIBSYS
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 BIBSYS 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 BIBSYS
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 BIBSYS 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
Programming languages : linguistics & semantics BIBSYS
PSI 2001 National Library of the Netherlands Library of Congress/NACO
Software abstraction principles : as applied to operating system command language specification BIBSYS
Software engineering National Library of the Netherlands German National Library Sudoc [ABES], France Library of Congress/NACO BIBSYS
Systematic program derivation techniques BIBSYS
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 Sudoc [ABES], France National Library of the Netherlands German National Library Library of Congress/NACO BIBSYS
UNU/IIST reports BIBSYS
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 BIBSYS 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 NUKAT Center of Warsaw University Library Sudoc [ABES], France National Library of the Netherlands German National Library Library of Congress/NACO BIBSYS
VDM ninety Sudoc [ABES], France
The Vienna development method : the meta-language NUKAT Center of Warsaw University Library Sudoc [ABES], France National Library of the Netherlands German National Library Library of Congress/NACO BIBSYS

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

Open Section Close Section About

Open Section Close Section History of VIAF ID:85519978 (17)