お店のコメント(スペック情報を含む場合もあり)
内容(「BOOK」データベースより) 本書は、ソフトウェア開発におけるいわゆる形式手法(formal methods)の入門書である。
プログラムの正しさを証明するためのプログラム検証理論と形式仕様記述との初歩を紹介している。
商品ジャンル
商品名
最終調査日時
2013/02/10 (Sun) 09:52:22
価格の変動(直近3回 : ¥0は未調査回)
取得日時
販売価格
ポイント
実質価格
在庫状態
2013/02/10 (Sun) 09:52:22
¥874
0 %
¥874
2010/11/07 (Sun) 01:10:48
¥2,940
0 %
¥2,940
1970/01/01 (Thu) 00:00:00
¥0
0 %
¥0
サイト内キーワード検索
商品名の検索は通常の商品検索ボックスで。
コメントやスペックなどから検索したい場合はこちらから。
コメントやスペックなどから検索したい場合はこちらから。
広告