Blank Cover Image

タイトルと所在が表示されます

プログラム検証論

資料種別:
図書
責任表示:
林晋著
言語:
日本語
出版情報:
東京 : 共立出版, 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
 

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

日本コンピュータ協会

二宮, 理憙

森北出版

二宮, 理憙

森北出版

中西, 正和(1943-)

近代科学社

竹下, 亨(1931-)

オーム社

足立, 暁生(1936-)

オーム社

Dybvig, R. Kent, 村上, 雅章(1960-)

ピアソン・エデュケーション

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

サイエンス社

大駒, 誠一

サイエンス社

横内, 寛文

共立出版

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

産業図書