プログラム仕様記述論(ＩＴ Ｔｅｘｔ)
荒木 啓二郎
,
張 漢明
著
絶版
価格
\3,080（税込）
発行年月
2002年11月
出版社／提供元
オーム社
言語
日本語
媒体
冊子
ページ数／巻数
１９１ｐ
大きさ
21
ジャンル
和書／理工学／情報学／プログラミング
ISBN
9784274132636
商品コード
0102103045
NDC分類
007.64
基本件名
プログラミング（コンピュータ）
商品URL
https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0102103045
著者紹介
荒木 啓二郎（著者）：〈荒木〉九州大学大学院システム情報科学研究院情報工学部門教授。工学博士。
張 漢明（著者）：〈張〉南山大学数理情報学部情報通信学科助教授。工学博士。
内容
ソフトウェア開発における形式手法の入門書。高品質のソフトウェアの開発に向け、プログラムの正しさを証明するための理論と形式仕様記述を解説する。情報関連の大学生およびソフトウェア技術者が対象。
