Bjørner, Dines, 1937-....
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Bjørner, Dines
Bjørner, D. (Dines), 1937-
Dines Bjørner
Bjørner, D. (Dines)
VIAF ID: 85519978 (Personal)
Permalink: http://viaf.org/viaf/85519978
Preferred Forms
-
100 1 _ ‡a Bjorner, Dines ‡d (1937- ).
-
200 _ 1 ‡a Bjørner ‡b Dines ‡f 1937-
-
100 1 _
‡a
Bjørner, D.
‡q
(Dines)
-
100 1 _
‡a
Bjørner, D.
‡q
(Dines),
‡d
1937-
-
100 1 _ ‡a Bjørner, D. ‡q (Dines), ‡d 1937-
-
100 1 _ ‡a Bjørner, Dines
-
100 1 _
‡a
Bjørner, Dines
-
100 1 _ ‡a Bjørner, Dines
-
100 1 _ ‡a Bjørner, Dines
-
100 1 _
‡a
Bjørner, Dines
‡d
1937-
-
100 1 _
‡a
Bjørner, Dines
‡d
1937-
-
100 1 _
‡a
Bjørner, Dines
‡d
1937-
-
100 1 _ ‡a Bjørner, Dines, ‡d 1937-
-
100 1 _ ‡a Bjørner, Dines, ‡d 1937-
-
100 1 _ ‡a Bjørner, Dines, ‡d 1937-
-
100 1 _
‡a
Bjørner, Dines,
‡d
1937-....
-
100 0 _
‡a
Dines Bjørner
4xx's: Alternate Name Forms (16)
Works
| Title | Sources |
|---|---|
| Abstract Software Specifications : 1979 Copenhagen Winter School January 22 – February 2, 1979 Proceedings |
|
| Abstraction and modelling |
|
| Baltic computer science : selected papers |
|
| Domain engineering : technology management, research and engineering : 北陸先端科学技術大学院大学21世紀COEプログラム検証進化可能電子社会 |
|
| Domain science & engineering |
|
| Domains, requirements, and software design |
|
| 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 |
|
| Formal methods and hybrid real-time systems, c2007: |
|
| Formal methods in programming and their applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 : proceedings |
|
| Hokuriku Sentan Kagaku Gijutsu Daigakuin Daigaku 21-seiki COE puroguramu kenshō shinka kanō denshi shakai |
|
| Images of programming : dedicated to the memory of A.P. Ershov : papers collected under of the auspices of IFIP TC2 |
|
| International Conference on Fifth Generation Computer Systems 1992 : June 1-5, 1992, Tokyo Prince Hotel, Tokyo, Japan. |
|
| Logics of specification languages |
|
| Mélanges. Ershov, Andrei P |
|
| n82058414 |
|
| 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 |
|
| Perspectives of system informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 : revised papers |
|
| Perspectives of system informatics / Dines Bjorner, Manfred Broy, Igor V. Pottosin (eds.). - Berlin, 1996. |
|
| Programming languages : linguistics & semantics |
|
| PSI 2001 |
|
| PSI'99 |
|
| Software abstraction principles : as applied to operating system command language specification |
|
| Software engineering. |
|
| Systematic program derivation techniques |
|
| The theory of the finite state syntax directed transductions & A flow-mode, self-steering, cellular multiplier-summation processor. |
|
| Towards a formal description of Ada |
|
| UNU/IIST reports |
|
| VDM '87 VDM — A Formal Method at Work : VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings |
|
| VDM '90 : VDM and Z - formal methods in software development : third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 : proceedings |
|
| VDM eighty-seven |
|
| The Vienna development method : the meta-language |
|
