お店のコメント(スペック情報を含む場合もあり)
内容説明 This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008. The 23 revised full papers presented together with 4 invited contributions and extended abstracts of 5 invited industrial presentations were carefully reviewed and selected from 106 submissions. The papers are organized in topical sections on programming language analysis, verification, real-time and concurrency, grand chellenge problems, fm practice, runtime monitoring and analysis, communication, constraint analysis, and design.
商品ジャンル
商品名
最終調査日時
2012/10/26 (Fri) 04:58:23
価格の変動(直近3回 : ¥0は未調査回)
取得日時
販売価格
ポイント
実質価格
在庫状態
2012/10/26 (Fri) 04:58:23
¥7,383
0 %
¥7,383
2012/01/03 (Tue) 14:21:33
¥6,452
0 %
¥6,452
1970/01/01 (Thu) 00:00:00
¥0
0 %
¥0
サイト内キーワード検索
商品名の検索は通常の商品検索ボックスで。
コメントやスペックなどから検索したい場合はこちらから。
コメントやスペックなどから検索したい場合はこちらから。
このお店の商品コード類似品 | |
---|---|
|
広告