close
1.

図書

図書
edited by Krzysztof R. Apt
出版情報: Berlin ; Tokyo : Springer-Verlag, c1985  viii, 498 p. ; 25 cm
シリーズ名: NATO ASI series ; ser. F . Computer and systems sciences ; v. 13
所蔵情報: loading…
2.

図書

図書
directed by F.L. Bauer, E.W. Dijkstra, C.A.R. Hoare ; edited by Manfred Broy
出版情報: Berlin : Springer-Verlag, c1985  viii, 525 p. ; 25 cm
シリーズ名: NATO ASI series ; ser. F . Computer and systems sciences ; v. 14
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼