商品件数:1 1件~1件 (1ページ中 1ページめ)
プログラム仕様記述論
著者:荒木啓二郎, 張漢明
出版社: オーム社
ISBN: 9784274132636
発売日: 2002年11月
本書は、ソフトウェア開発におけるいわゆる形式手法(formal methods)の入門書である。プログラムの正しさを証明するためのプログラム検証理論と形式仕様記述との初歩を紹介している。続きを見る
価格:3,080円
ID: -
| 品名が | |
[画像 ] [自動改行対策
楽天アフィリエイト リンク作成 (複数商品も一発で!!)