検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵） ＞ 形式手法入門 : ロジックによるソフトウェア設計
書誌情報:形式手法入門 : ロジックによるソフトウェア設計
ケイシキ シュホウ ニュウモン : ロジック ニ ヨル ソフトウェア セッケイ
中島震著
東京 : オーム社 , 2012.4
x, 216p : 挿図 ; 21cm

WebCatPlus を見る
CiNii Books を見る


  


所蔵一覧
巻号予約人数所在請求記号資料ID状態貸出区分備考 
1 0中央５階
  • 007.63
  • N 34
  •  
00910641 利用可
一般 

選択行を：  

書誌詳細
刊年2012
形態x, 216p : 挿図 ; 21cm
別書名形式手法入門 : ロジックによるソフトウェア設計
注記参考文献: p[203]-210
索引: p[211]-216
出版国日本
標題言語日本語
本文言語日本語
著者情報中島, 震(1955-) (ナカジマ, シン)
分類NDC8:007.63
NDC9:007.63
NDC9:007.61
ISBN9784274211881
件名BSH:ソフトウェア工学
NDLSH:システム設計
NCIDBB08985290
番号OTHN : TRC:12021931

WebCatPlus を見る    CiNii Books を見る
▲ページトップへ