1.

図書
図書
1. The IOTA programming system : a modular programming environment (: gw ; : us)
edited by R. Nakajima and T. Yuasa
出版情報: Berlin ; New York : Springer-Verlag, 1983
シリーズ名: Lecture notes in computer science ; 160
所蔵情報: loading…
2.

図書
図書
2. 数理情報学入門 : スコット・プログラム理論
中島玲二著
出版情報: 東京 : 朝倉書店, 1982.3
シリーズ名: 数理科学ライブラリー ; 3
所蔵情報: loading…
3.

図書
図書
3. 構造的PASCALプログラミング : プログラム設計と証明の組織的方法
Suad Alagić, Michael A.Arbib著 ; 中島玲二訳
出版情報: 東京 : 日本コンピュータ協会, 1980.9
シリーズ名: コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 44
所蔵情報: loading…