Verified Software Theories Tools and Experiments - - 書籍 - Springer Nature Switzerland AG - 9783030035914 - 2018年11月24日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Verified Software Theories Tools and Experiments 1st ed. 2018 edition

価格
¥ 8.877
税抜

遠隔倉庫からの取り寄せ

発送予定日 年6月11日 - 年6月23日

お客様の声：

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

This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018. The 19 full papers presented were carefully revised and selected from 24 submissions.

345 pages, 10 Illustrations, color; 91 Illustrations, black and white; XVI, 345 p. 101 illus., 10 il

メディア 書籍     Book
リリース済み 2018年11月24日
ISBN13 9783030035914
出版社 Springer Nature Switzerland AG
ページ数 345
寸法 150 × 220 × 20 mm   ·   552 g
言語 ドイツ語  
編集者 Piskac, Ruzica
編集者 Rummer, Philipp

Mere med samme udgiver