お店のコメント(スペック情報を含む場合もあり)
内容説明 This book presents 8 tutorial survey papers by leading researchers who lectured at the 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2005, held in Bertinoro, Italy in April 2005. SFM 2005 was devoted to formal methods and tools for the design of mobile systems and mobile communication infrastructures. The 8 lectures are organized into topical sections on models and languages, scalability and performance, dynamic power management, and middleware support.
商品ジャンル
商品名
最終調査日時
2012/11/11 (Sun) 08:42:40
価格の変動(直近3回 : ¥0は未調査回)
取得日時
販売価格
ポイント
実質価格
在庫状態
2012/11/11 (Sun) 08:42:40
¥7,162
0 %
¥7,162
2012/02/01 (Wed) 08:10:15
¥6,852
0 %
¥6,852
2012/01/01 (Sun) 19:09:06
¥6,931
0 %
¥6,931
サイト内キーワード検索
商品名の検索は通常の商品検索ボックスで。
コメントやスペックなどから検索したい場合はこちらから。
コメントやスペックなどから検索したい場合はこちらから。
広告