svsolutions.com

メニュー

svsolutions.com

検索
お知らせ

新着のお知らせはありません

お知らせ一覧を見る
お気に入り
お気に入り
アイテム

登録されていません。

お気に入り登録すると、
値下げ・再入荷などをお知らせ

＼お知らせページで通知します／

値下げ

クーポン

再入荷

アイテムを探して登録する！アイテムを探して登録する！
ショップ

登録されていません。

お気に入り登録すると、
さらに便利に

クーポン
通知

好きなショップ
で絞り込み

ショップへ
ショートカット

ショップを探して登録する！ショップを探して登録する！
※お気に入り登録は会員でない方もご利用いただけます
※通知を受け取るには会員登録が必要です

商品点数	0点
商品合計(税込)	¥0

Formal Methods and Software Engineering: 10th International Conference on F

1/1

このアイテムの詳細情報に戻る

10％ポイントバック

ショップ： svsolutions.com

Formal Methods and Software Engineering: 10th International Conference on F

¥7,154（税込）

送料無料

1～2日で出荷可能

アイテム説明

商品説明

商品名：Formal Methods and Software Engineering: 10th International Conference on F
This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods， ICFEM 2008， held in Kitakyushu-City， Japan， October 2008. The 20 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 62 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on specification and verification; testing; verification; model checking and analysis; tools; application of formal methods; semantics.