ばいちょ(売価調査)、価格比較とネットでのお買い物を楽に

日本初！待望のＢメソッド解説書。
実際の開発への適用を意識した実用指向の内容で、形式手法の理解と習得に格好の書。
目次 第１章　形式手法概論
第２章　形式仕様の作成
第３章　抽象機械
第４章　仕様から実装へのステップ
第５章　リファインメント
第６章　インプリメンテーション
第７章　事例研究
第８章　次のステップ
付録 ISBN 978-4-7649-0347-0 著者情報 中島　震（ナカジマ　シン）
１９８１年東京大学大学院理学系研究科修士課程修了。
現在、国立情報学研究所教授・総合研究大学院大学教授。
学術博士。
この間、科学技術振興機構さきがけ研究員（兼任）、北陸先端科学技術大学院大学客員教授を歴任。
形式手法、自動検証、ソフトウェア・モデリング、などの研究に従事
来間　啓伸（クルマ　ヒロノブ）
１９８３年広島大学大学院理学研究科博士課程前期修了。
１９８４年株式会社日立製作所。
２００６年総合研究大学院大学複合科学研究科修了。
博士（学術）。
現在、株式会社日立製作所システム開発研究所・国立情報学研究所特任教授。
ソフトウェア工学の研究に従事。
形式手法、コンピュータ・セキュリティ、自律分散システムに興味を持つ ※本データはこの書籍が刊行された当時に掲載されていたものです