Blank Cover Image

構造的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
 
1 図書 構造的プログラム設計の原理

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

日本コンピュータ協会, 科学技術出版社 (発売)
7 図書 Fortranプログラミングツール

牛島, 和夫

産業図書
2 図書 PASCALプログラミング : プログラム作成の体系的方法

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

日本コンピュータ協会
8 図書 構造化プログラミング

Dijkstra, Edsger Wybe, 1930-, Hoare, C. A. R. (Charles Antony Richard), 1934-, Dahl, Ole-Johan, 1931-, 野下, &hellip;

サイエンス社
3 図書 演習プログラムの証明

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

近代科学社
9 図書 マイクロプログラミング

萩原, 宏(1926-)

産業図書
4 図書 構造的コンカレントープログラミング技法

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

日本コンピュータ協会
10 図書 TSSによるプログラミング演習

沢田, 晃

共立出版
5 図書 Prologプログラミング

Clocksin, W. F. (William F.), 1955-, Mellish, C. S. (Christopher S.), 1954-, 中村, 克彦(1943-)

マイクロソフトウェア
11 図書 プログラミングの考えかた

土居, 範久(1939-), 筧, 捷彦(1945-)

岩波書店
6 図書 PC-9801プログラミング入門 : NEC

野々山, 隆幸(1947-)

ナツメ社
12 図書 システム・プログラミング

Hsiao, David K., 1933-, 斎藤, 信男(1940-)

科学技術出版社