国士舘大学
図書館・情報メディアセンター
ログイン
ヘルプ
×終了
検索
ブックマーク
マイライブラリ
検索条件入力
>
書誌詳細
> 形式手法入門 : ロジックによるソフトウェア設計
書誌情報:形式手法入門 : ロジックによるソフトウェア設計
ケイシキ シュホウ ニュウモン : ロジック ニ ヨル ソフトウェア セッケイ
中島震著
東京 : オーム社 , 2012.4
x, 216p : 挿図 ; 21cm
WebCatPlus を見る
CiNii Books を見る
所蔵一覧
巻号
予約人数
所在
請求記号
資料ID
状態
貸出区分
備考
1
0
中央5階
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
ISBN
9784274211881
件名
BSH:ソフトウェア工学
NDLSH:システム設計
NCID
BB08985290
番号
OTHN : TRC:12021931
WebCatPlus を見る
CiNii Books を見る
▲ページトップへ
動画を再生するにはvideoタグをサポートしたブラウザが必要です。