分享给好友:
Software Engineering and Formal Methods 1st ed. 2018 edition
Software Engineering and Formal Methods
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 |