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

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

ケイシキ シュホウ ニュウモン : ロジック ニ ヨル ソフトウェア セッケイ

中島震著

東京 : オーム社, 2012.4

図書等

巻号情報

No. 所在 請求記号 資料ID 資料タイプ 状況(返却予定日) コレクション 備考 予約・取り寄せ人数

1

007.63-N34

10012007739

一般図書

詳細情報

刊年

2012

形態

x, 216p : 挿図 ; 21cm

注記

参考文献: p[203]-210

索引: p[211]-216

出版国

日本

標題言語

日本語 (jpn)

本文言語

日本語 (jpn)

著者情報

中島, 震(1955-) (ナカジマ, シン)

分類

NDC8:007.63

NDC9:007.63

件名

ソフトウェア工学

ISBN

9784274211881

NCID

BB08985290

番号

TRC : 12021931