close
1.

図書
図書
1. 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  vii, 651 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 69
所蔵情報: loading…
2.

図書
図書
2. Deductive program design
edited by Manfred Broy
出版情報: Berlin ; New York : Springer, c1996  viii, 467 p. ; 24 cm
シリーズ名: NATO ASI series ; Series F . Computer and systems sciences ; no. 152
所蔵情報: loading…
3.

図書
図書
3. 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  viii, 478 p. ; 25 cm
シリーズ名: NATO ASI series ; ser. F . Computer and systems sciences ; v. 55
所蔵情報: loading…
4.

図書
図書
4. Program design calculi
edited by Manfred Broy
出版情報: Berlin ; New York : Springer-Verlag, 1993  viii, 409 p. ; 24 cm
シリーズ名: NATO ASI series ; Series F . Computer and systems sciences ; no. 118
所蔵情報: loading…
5.

図書
図書
5. 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  413 p. ; 25 cm
シリーズ名: NATO ASI series ; ser. F . Computer and systems sciences ; v. 36
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼