close
1.

図書
図書
1. 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…
2.

図書
図書
2. 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…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼