close
1.

図書
図書
1. Constructive methods in computing science : international summer school directed by F.L. Bauer ... [et al.] (: Germany ; : U.S.)
edited by Manfred Broy
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989
シリーズ名: NATO ASI series ; ser. F . Computer and systems sciences ; v. 55
所蔵情報: loading…
2.

図書
図書
2. Logic of programming and calculi of discrete design : International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare (: Germany ; : U.S.)
edited by Manfred Broy
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名: NATO ASI series ; ser. F . Computer and systems sciences ; v. 36
所蔵情報: loading…
3.

図書
図書
3. 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
所蔵情報: loading…