WebOPAC Local書誌詳細

ログイン

書誌詳細

図書館

検索結果一覧へ戻る

形式手法入門 : ロジックによるソフトウェア設計

中島震著. -- オーム社, 2012. <BB40075249>

(0)

(0)

(0)

(0)

(0)

登録タグ：

登録されているタグはありません

便利機能：

目次・あらすじを見るレビューを見る詳細情報を見る

書誌URL：

形式手法入門 : ロジックによるソフトウェア設計

中島震著. -- オーム社, 2012. <BB40075249>

(0)

(0)

(0)

(0)

(0)

登録タグ：

登録されているタグはありません

便利機能：

目次・あらすじを見るレビューを見る詳細情報を見る

書誌URL：

所蔵一覧 1件～1件（全1件）

ナンバーをクリックすると所蔵詳細をみることができます。

No.	巻号	所蔵館	配置場所	請求記号	資料ID	状態	返却予定日	予約	WEB書棚
0001		板橋	図書（一般分類）	007.63/NA	041111216041			0件


No.	0001
巻号
所蔵館	板橋
配置場所	図書（一般分類）
請求記号	007.63/NA
資料ID	041111216041
状態
返却予定日
予約	0件
WEB書棚

このページのTOPへ

目次・あらすじ

このページのTOPへ

レビュー

このページのTOPへ

書誌詳細

標題および責任表示

形式手法入門 : ロジックによるソフトウェア設計 / 中島震著
ケイシキシュホウニュウモン : ロジックニヨルソフトウェアセッケイ

出版・頒布事項

東京 : オーム社 , 2012.4

形態事項

x, 216p : 挿図 ; 21cm

巻号情報

ISBN	9784274211881

その他の標題

異なりアクセスタイトル:形式手法入門 : ロジックによるソフトウェア設計
ケイシキシュホウニュウモン : ロジックニヨルソフトウェアセッケイ

注記

参考文献: p[203]-210

注記

索引: p[211]-216

学情ID

BB08985290

本文言語コード

日本語

著者標目リンク

中島, 震(1955-)||ナカジマ, シン <AU30055433>

分類標目

情報科学 NDC8:007.63

分類標目

情報科学 NDC9:007.63

分類標目

情報科学 NDC9:007.61

件名標目等

ソフトウェア工学||ソフトウェアコウガク

件名標目等

システム設計||システムセッケイ

このページのTOPへ

検索結果一覧へ戻る

このページのTOPへ