close
1.

図書

図書
Zohar Manna, Richard Waldinger
出版情報: Reading, Mass. : Tokyo : Addison-Wesley, c1985
シリーズ名: Addison-Wesley series in computer science ; . The logical basis for computer programming ; v. 1
所蔵情報: loading…
2.

図書

図書
Zohar Manna
出版情報: Standard, California : Stanford University, 1985
所蔵情報: loading…
目次情報:
report no.STAN-CS-85-1056
report no.STAN-CS-85-1056
3.

図書

図書
ゾーハ・マンナ著 ; 五十嵐滋訳
出版情報: 東京 : 日本コンピュータ協会, 1975.1
シリーズ名: コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 23
所蔵情報: loading…