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

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

価格
Íkr 7.049
税抜

遠隔倉庫からの取り寄せ

発送予定日 年12月15日 - 年12月25日
クリスマスプレゼントは1月31日まで返品可能です

お客様の声：

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.

522 pages, 86 Illustrations, color; 89 Illustrations, black and white; XIV, 522 p. 175 illus., 86 il

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