プログラム仕様記述論

発売日：2002年11月

ISBN: 978-4-274-13263-6
著者情報: 荒木　啓二郎（アラキ　ケイジロウ）
１９７６年九州大学工学部情報工学科卒業。１９８２年工学博士。現在、九州大学大学院システム情報科学研究院情報工学部門教授

張　漢明（チョウ　カンメイ）
１９９９年奈良先端科学技術大学院大学情報科学研究科情報システム学専攻博士後期課程修了。１９９９年博士（工学）。現在、南山大学数理情報学部情報通信学科助教授

¥3,080 税込

14 nanacoポイント

14 セブンマイル

セブン-イレブン受取り(送料無料)

発送目安

発売日（発売日以降は当日）～2日で発送

宅配（送料¥550税込）

発送目安

発売日（発売日以降は当日）～2日で発送

交通状況・天候の影響や注文が集中した場合等、お届けにお時間をいただく場合がございます。

商品説明

本書は、ソフトウェア開発におけるいわゆる形式手法（ｆｏｒｍａｌ　ｍｅｔｈｏｄｓ）の入門書である。プログラムの正しさを証明するためのプログラム検証理論と形式仕様記述との初歩を紹介している。

第１章　プログラムの正しさ―プログラムの検証入門
第２章　Ｆｌｏｙｄ‐Ｈｏａｒｅ論理
第３章　仕様としての事前条件と事後条件
第４章　ＶＤＭ‐ＳＬによる仕様記述の例
第５章　例題で見るシステム仕様記述
第６章　事例で見る実用的仕様記述
付録Ａ　ＶＤＭ‐ＳＬ概説
付録Ｂ　Ｚによる仕様記述

本の帯に関して: 帯つきでの出荷はお約束しておりません。
商品ページに、帯のみに付与される特典物等の表記がある場合でも、確実に帯つきでの出荷はお約束しておりません。
また、帯は商品の一部ではなく「広告扱い」のため、帯の有無・破損による交換や返品は承っておりません。
版・表紙について: 版・表紙（カバー）のご指定は承っておりません。ご注文いただくタイミングによっては、お届けする商品の版や表紙が商品ページ上のものとは異なる場合がございます。
また、初版にのみにお付けしている特典（初回特典、初回仕様特典）がある商品は、商品ページに特典の表記がされている場合でも、無くなり次第終了となります。