Ｂメソッドによる形式仕様記述 ソフトウェアシステムのモデル化とその検証
トップエスイー実践講座 １
| 出版社名 | 近代科学社 |
|---|---|
| 出版年月 | 2007年12月 |
| ISBNコード |
978-4-7649-0347-0
（4-7649-0347-4） |
| 税込価格 | 3,960円 |
| 頁数・縦 | ２１３Ｐ ２４ｃｍ |
商品内容
| 要旨 |
日本初！待望のＢメソッド解説書。実際の開発への適用を意識した実用指向の内容で、形式手法の理解と習得に格好の書。 |
|---|---|
| 目次 |
第１章 形式手法概論 |