構造的PASCALプログラミング : プログラム設計と証明の組織的方法

フォーマット:
図書
責任表示:
Suad Alagić, Michael A.Arbib著 ; 中島玲二訳
言語:
日本語
出版情報:
東京 : 日本コンピュータ協会, 1980.9
形態:
293p ; 22cm
著者名:
シリーズ名:
コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 44 <BN00058946>
書誌ID:
BN03279056
子書誌情報
Loading
所蔵情報
Loading availability information

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 

Findlay, William, 1947-, 牛島, 和夫, Watt, David Anthony, 1946-

日本コンピュータ協会

Holt, R. C. (Richard C.), 1941-, 藤野, 喜一(1931-), 菊池, 豊彦(1936-)

日本コンピュータ協会

Jackson, M. A., 鳥居, 宏次

日本コンピュータ協会, 科学技術出版社 (発売)

嶋田, 君枝, 細井, 勉(1937-)

産業図書

中島, 玲二(1947-)

朝倉書店

ボーランドインターナショナル, マイクロソフトウェアアソシエイツ

JICC出版局

有澤, 誠(1944-)

昭晃堂

永野, 三郎, 長島, 忍, 吉村, 伸(1959-)

東京大学出版会

Bentley, Jon Louis, 野下, 浩平(1943-)

近代科学社

小池, 慎一(1941-)

技術評論社

Anderson, Robert Brockett, 1941-, 有澤, 誠(1944-)

近代科学社

大須賀, 節雄(1934-)

オーム社