>> Amazon.co.jp

プログラム検証論

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

類似資料:

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

山崎, 利治

共立出版

大駒, 誠一

サイエンス社

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

日本コンピュータ協会

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

啓学出版

中西, 正和(1943-)

近代科学社

米田, 信夫(1930-), 疋田, 輝雄(1947-), 桜井, 貴文(1959-)

サイエンス社

石島, 辰太郎, 小山, 裕司(1967-), 大前, 昭博

啓学出版

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

共立出版

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

産業図書

横内, 寛文

共立出版