Software Engineering and Formal Methods -  - 書籍 - Springer International Publishing AG - 9783319747804 - 2018年2月3日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Software Engineering and Formal Methods 1st ed. 2018 edition

価格
¥ 12.888
税抜

遠隔倉庫からの取り寄せ

発送予定日 年5月4日 - 年5月14日
iMusicのウィッシュリストに追加

This book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017. FAACS 2017 -- 1st Workshop on Formal Approaches for Advanced Computing Systems;


592 pages, 204 Illustrations, black and white; X, 592 p. 204 illus.

メディア 書籍     Book
リリース済み 2018年2月3日
ISBN13 9783319747804
出版社 Springer International Publishing AG
ページ数 592
寸法 150 × 220 × 20 mm   ·   902 g
言語 ドイツ語  
編集者 Cerone, Antonio
編集者 Roveri, Marco