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

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

価格
¥ 8.922
税抜

遠隔倉庫からの取り寄せ

発送予定日 年8月11日 - 年8月21日

お客様の声：

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.

588 pages, 136 Illustrations, color; 93 Illustrations, black and white; XV, 588 p. 229 illus., 136 i

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

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