お店のコメント(スペック情報を含む場合もあり)
内容説明 This book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, held in Eindhoven, The Netherlands, in November/December 2005. The 19 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on components, state/event-based verification, system development, applications of B, tool support, non-software domains, semantics, as well as UML and statecharts.
商品ジャンル
商品名
最終調査日時
2015/08/01 (Sat) 22:42:06
価格の変動(直近3回 : ¥0は未調査回)
取得日時
販売価格
ポイント
実質価格
在庫状態
2015/08/01 (Sat) 22:42:06
¥15,929
0 %
¥15,929
在庫あり。
2012/11/24 (Sat) 17:13:41
¥7,583
0 %
¥7,583
2012/03/08 (Thu) 10:59:39
¥6,700
0 %
¥6,700
サイト内キーワード検索
商品名の検索は通常の商品検索ボックスで。
コメントやスペックなどから検索したい場合はこちらから。
コメントやスペックなどから検索したい場合はこちらから。
広告