The IOTA programming system : a modular programming environment

所蔵情報QRコード

資料種別:

図書

出版情報:

Berlin ; New York : Springer-Verlag, 1983

形態:

vii, 217 p. ; 25 cm

シリーズ名:

Lecture notes in computer science ; 160 <BA00009279>

著者名:

ISBN:

9783540126935 [3540126937] (: gw)
9780387126937 [0387126937] (: us)

書誌ID:

BA01081646

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:	Bibliography: p. [214]-217
著者名ヨミ:	ナカジマ, レイジユアサ, タイイチ
主題:	Electronic digital computers--Programming; Modular programming
言語:	英語

東工大ブックレビュー

1 図書数理情報学入門 : スコット・プログラム理論中島, 玲二(1947-) 朝倉書店	7 図書 Common Lisp入門湯淺, 太一(1952-), 萩谷, 昌己(1957-) 岩波書店
2 図書 Common Lispドリル湯淺, 太一(1952-) 岩波書店	8 図書論理とプログラム意味論田辺, 誠(1970-), 中島, 玲二(1947-), 長谷川, 真人(1970-) 岩波書店
3 図書コンパイラ湯淺, 太一(1952-) 昭晃堂	9 電子ブック The IOTA Programming System : A Modular Programming Environment Nakajima, R., Yuasa, T., SpringerLink (Online service)
4 図書コンパイラ湯淺, 太一(1952-) オーム社	10 図書プログラミング言語Turing : 言語仕様の基礎理論と設計技法 Holt, R. C. (Richard C.), 1941-, 湯淺, 太一(1952-), 松田, 元彦, 三好, 博之, 竹岡, 尚三啓学出版
5 図書 Scheme入門湯淺, 太一(1952-) 岩波書店	11 図書 Modular specification and verification of object-oriented programs Müller, Peter Springer
6 図書 Common Lispハンドブック萩谷, 昌己(1957-), 湯淺, 太一(1952-) 岩波書店	12 図書 RIMS Symposia on Software Science and Engineering II : proceedings of the Symposia 1983 and 1984, Kyoto, Japan (: gw ; : us) RIMS Symposium on Software Science and Engineering, 後藤, 英一(1931-), 荒木, 啓二郎, 湯淺, 太一(1952-), 京都大学数理解析研究所 Springer-Verlag

1

2

3

4

5

6

7

8

9

10

11

12