>> Amazon.co.jp
このページのQRコード

プログラム検証論

種類:
図書
責任表示:
林晋著
出版情報:
東京 : 共立出版, 1995.9
著者名:
林, 晋(1953-) <DA02963363>  
シリーズ名:
情報数学講座 ; 8 <BN09103438>
ISBN:
9784320026582 [4320026586]  CiNii Books  Calil
注記:
参考文献: p[199]-201. 索引: 巻末
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 構成的プログラミングの基礎

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

遊星社, 星雲社 (発売)
7 図書 大型計算機のためのFORTRAN文法とプログラミング

佐藤, 泰夫

学会出版センター
2 図書 プログラム意味論

横内, 寛文

共立出版
8 図書 だれでもわかるBASICプログラミング演習

池田, 一夫, 馬場, 史郎

啓学出版
3 図書 アセンブリプログラミング

大駒, 誠一

サイエンス社
9 図書 プログラムの理論

Manna, Zohar, 五十嵐, 滋

日本コンピュータ協会
4 図書 プログラムの読み方

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

岩波書店
10 図書 プログラム理論

伊藤, 貴康(1940-)

コロナ社
5 図書 アセンブラプログラミング入門 : IBM System/370のための

金山, 裕(1937-)

近代科学社
11 図書 プログラム言語

米田, 信夫(1930-)

岩波書店
6 図書 C便利プログラム集

林, 正幸(1955-)

共立出版
12 図書 プログラム言語

山崎, 利治

昭晃堂