close
1.

図書
図書
1. Simulation and model-based methodologies : an integrative view (: Germany ; : U.S.)
edited by Tuncer I. Ören, Bernard P. Zeigler, Maurice S. Elzas
出版情報: Berlin ; Tokyo : Springer-Verlag : Published in cooperation with NATO Scientific Affairs Division, 1984  xiii, 651 p. ; 25 cm
シリーズ名: NATO ASI series ; ser. F . Computer and systems sciences ; v. 10
所蔵情報: 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. Software system design methods : the challenge of advanced computing technology (: Germany ; : U.S.)
edited by Jozef K. Skwirzynski
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  xiii, 747 p. ; 25 cm
シリーズ名: NATO ASI series ; ser. F . Computer and systems sciences ; v. 22
所蔵情報: 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…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼