Leveraging Applications of Formal Methods Verification and Validation Verifica - - 書籍 - Springer Nature Switzerland AG - 9783030034207 - 2018年10月30日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Leveraging Applications of Formal Methods Verification and Validation Verifica 1st ed. 2018 edition

商品が入荷したらメールで通知を受け取る
プロフィールはありますか？ ログイン

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

まだ評価がありません

The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018.

496 pages, 85 Illustrations, color; 255 Illustrations, black and white; XIII, 496 p. 340 illus., 85

メディア 書籍     Book
リリース済み 2018年10月30日
ISBN13 9783030034207
出版社 Springer Nature Switzerland AG
ページ数 496
寸法 150 × 220 × 20 mm   ·   768 g
言語 ドイツ語  
編集者 Margaria, Tiziana
編集者 Steffen, Bernhard

同じ出版社からのその他の記事