1.

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

図書
図書
2. 演習プログラムの証明
ロバート・B.アンダスン著 ; 有沢誠訳
出版情報: 東京 : 近代科学社, 1980.11
シリーズ名: ソフトウェア工学ライブラリ ; [1]
所蔵情報: loading…
3.

図書
図書
3. 並行動作プログラムの構造
Per Brinch Hansen著 ; 田中英彦訳
出版情報: 東京 : 日本コンピュータ協会, 1980.1
シリーズ名: コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 35
所蔵情報: loading…
4.

図書
図書
4. システム・プログラミング
David K.Hsiao著 ; 斎藤信男訳
出版情報: 東京 : 科学技術出版社, 1980.4
シリーズ名: コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 43
所蔵情報: loading…
5.

図書
図書
5. 構造的プログラム設計の原理
Michael A. Jackson著 ; 鳥居宏次訳
出版情報: 東京 : 日本コンピュータ協会 , 東京 : 科学技術出版社 (発売), 1980.5
シリーズ名: コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 42
所蔵情報: loading…
6.

図書
図書
6. オペレーティング・システムの性能評価
H.Hellerman, T.F.Conroy著 ; 大野豊訳
出版情報: 東京 : 日本コンピュータ協会 , 東京 : 科学出版社 (発売), 1980.10
シリーズ名: コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 29
所蔵情報: loading…