著者典拠情報

著者標目形：
Broy, M., 1949-
属性：
Personal
日付：
1949-
から見よ参照形：
Broy, Manfred, 1949-
注記：
Program construction, International Summer School, 1979 (a.e.) t.p. (M. Broy) verso t.p. (Manfred Broy, Institut für Informatik der Technischen Universität, Munich) CIP data sheet (b. 8/10/49)
Theoretical foundations of programming methodology, c1982: CIP t.p. (Manfred Broy)
著者典拠ID：
DA00119422


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. Mathematical methods in program development
edited by Manfred Broy, Birgit Schieder
出版情報: Berlin : Springer, 1997
シリーズ名: NATO ASI series ; Series F, Computer and systems sciences ; v. 158
所蔵情報: 図書館
4.

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

図書
図書
5. KORSO : methods, languages, and tools for the construction of correct software : final report
Manfred Broy, Stefan Jähnichen (eds.)
出版情報: Berlin ; New York : Springer, c1995
シリーズ名: Lecture notes in computer science ; 1009
所蔵情報: 図書館
6.

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

図書
図書
7. Programming and mathematical method (: gw ; : us)
edited by Manfred Broy
出版情報: Berlin ; New York : Springer-Verlag, c1992
シリーズ名: NATO ASI series ; ser. F . Computer and system sciences ; no. 88
所蔵情報: 図書館
8.

図書
図書
8. Methods of programming : selected papers on the CIP-project (: Berlin ; : New York)
M. Broy, M. Wirsing, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 544
所蔵情報: 図書館
9.

図書
図書
9. Control flow and data flow : concepts of distributed programming : international summer school (: Germany ; : U.S.)
directed by F.L. Bauer, E.W. Dijkstra, C.A.R. Hoare ; edited by Manfred Broy
出版情報: Berlin : Springer-Verlag, c1985
シリーズ名: NATO ASI series ; ser. F . Computer and systems sciences ; v. 14
所蔵情報: 図書館
10.

図書
図書
10. Program construction : international summer school (: gw ; : us)
F.L. Bauer ... [et al.] ; edited by F.L. Bauer and M. Broy
出版情報: Berlin ; New York : Springer-Verlag, 1979
シリーズ名: Lecture notes in computer science ; 69
所蔵情報: 図書館