著者典拠情報

著者標目形：
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


1.

図書
図書
1. Perspectives of system informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised paper
Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2244
所蔵情報: 図書館
2.

図書
図書
2. Perspectives of system informatics : third International Andrei Ershov Memorial Conference, PSI '99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 : proceedings
Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1755
所蔵情報: 図書館
3.

図書
図書
3. Perspectives of system informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, proceedings
Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)
出版情報: Berlin : Springer-Verlag, c1996
シリーズ名: Lecture notes in computer science ; 1181
所蔵情報: 図書館
4.

図書
図書
4. 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
所蔵情報: 図書館
5.

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

図書
図書
6. 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
所蔵情報: 図書館
7.

図書
図書
7. 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
所蔵情報: 図書館
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
所蔵情報: 図書館
9.

図書
図書
9. 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
所蔵情報: 図書館
10.

図書
図書
10. 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
所蔵情報: 図書館