Blank Cover Image
QRコード(所蔵情報)

プログラム検証論

フォーマット:
図書
責任表示:
林晋著
言語:
日本語
出版情報:
東京 : 共立出版, 1995.9
形態:
xi, 211p ; 22cm
著者名:
林, 晋(1953-) <DA02963363>  
シリーズ名:
情報数学講座 ; 8 <BN09103438>
書誌ID:
BN13003812
ISBN:
9784320026582 [4320026586]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 プログラムの設計

山崎, 利治

共立出版
7 図書 プログラム意味論

横内, 寛文

共立出版
2 図書 構成的プログラミングの基礎

林, 晋(1953-), 小林, 聡(1960-)

遊星社, 星雲社 (発売)
8 図書 基礎FORTRAN77 : [マイクロコンピュータ・プログラミング]

Ashcroft, J., 古賀, 勝夫, 榊原, 修身

啓学出版
3 図書 並行動作プログラムの構造

Brinch Hansen, Per, 1938-, 田中, 英彦(1943-)

日本コンピュータ協会
9 図書 アセンブラプログラミング入門 : IBM System/370のための

金山, 裕(1937-)

近代科学社
4 図書 構造化BASIC : 構造化プログラミングの方法論とアルゴリズム

河西, 朝雄

技術評論社
10 図書 PL/I入門 : だれでもわかるプログラミング

寿, 嘉一

啓学出版
5 図書 プログラミング序論 : FORTRANから自然言語へ

足立, 暁生(1936-)

オーム社
11 図書 S言語 : データ解析とグラフィックスのためのプログラミング環境

Becker, Richard A., Chambers, John M., Wilks, Allan R., 渋谷, 政昭(1930-), 柴田, 里程

共立出版
6 図書 PL/Iプログラミング入門

二宮, 理憙

森北出版
12 図書 プログラムの読み方

森口, 繁一(1916-2002), 小林, 光夫(1941-), 武市, 正人(1948-)

岩波書店