1.

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

Book
Book
2. 演習プログラムの証明
ロバート・B.アンダスン著 ; 有沢誠訳
Published: 東京 : 近代科学社, 1980.11
Series: ソフトウェア工学ライブラリ ; [1]
Holdings: loading…
3.

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

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

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

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