書誌詳細
  

NCIDBN13003812
タイトルプログラム検証論 / 林晋著||プログラム ケンショウロン
出版者東京 : 共立出版 , 1995.9
形態xi, 211p ; 22cm
注記参考文献: p[199]-201. 索引: 巻末
シリーズ名情報数学講座 ; 8
分類NDC8:007.64
NDC7:418.6
NDLC:M159
件名NDLSH:プログラミング用言語
NDLSH:プログラミング(電子計算機)
BSH:電子計算機 -- プログラミング
著者情報林, 晋(1953-) (ハヤシ, ススム)
和洋区分和
標題言語日本語
本文言語日本語
出版国日本
ISBN4320026586
WebCatPlus を見る    CiNii Books を見る
所蔵一覧
巻号予約予約人数所在請求記号資料ID状態備考
1 0図書館(閲覧室)007.6:H206000776 利用可  
0図書館(書庫)007.6:H207003487 利用可  
0理数学007.6:H020034493 研究室  

選択行を：  

▲ページトップへ