著者典拠情報

標目形：
Bjørner, D. (Dines), 1937-
属性：
Personal
日付：
1937-
から見よ参照形：
Bjørner, Dines, 1937-
Bjørner, D., 1937-
注記：
Dept. of Computer Sci., Tech. Univ. of Denmark, Lyngby
著者典拠ID：
DA00525795


 close
1.

図書
図書
1. Formal methods in programming and their applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 : proceedings (: gw ; : us)
Dines Bjørner, Manfred Broy, Igor V. Pottosin,(eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 735
所蔵情報: loading…
2.

図書
図書
2. Baltic computer science : selected papers (: gw ; : us)
J. Bārzdiṇš, D. Bjørner, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 502
所蔵情報: loading…
3.

図書
図書
3. VDM '90 : VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, proceedings (: gw ; : us)
D. Bjørner, C.A.R. Hoare, H. Langmaack (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1990
シリーズ名: Lecture notes in computer science ; 428
所蔵情報: loading…
4.

図書
図書
4. 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
edited by Dines Bjørner, Andrei P. Ershov, Neil D. Jones
出版情報: Amsterdam ; Tokyo : North-Holland , New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1988
所蔵情報: loading…
5.

図書
図書
5. VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings (: gw ; : us)
edited by D. Bjørner ... [et al.]
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名: Lecture notes in computer science ; 252
所蔵情報: loading…
6.

図書
図書
6. 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
edited by Dines Bjørner
出版情報: Amsterdam ; New York : North-Holland Pub. Co., 1983
所蔵情報: loading…
7.

図書
図書
7. Abstract software specifications : 1979 Copenhagen Winter School, January 22-February 2, 1979 : proceedings (: gw ; : us)
edited by D. Bjørner
出版情報: Berlin ; New York : Springer-Verlag, 1980
シリーズ名: Lecture notes in computer science ; 86
所蔵情報: loading…
8.

図書
図書
8. Towards a formal description of Ada (: gw ; : us)
edited by D. Bjørner and O.N. Oest
出版情報: Berlin : Springer-Verlag, 1980
シリーズ名: Lecture notes in computer science ; 98
所蔵情報: loading…
9.

図書
図書
9. The Vienna development method : the meta-language (: gw ; : us)
edited by D. Bjørner and C.B. Jones
出版情報: Berlin ; New York : Springer-Verlag, 1978
シリーズ名: Lecture notes in computer science ; 61
所蔵情報: loading…