Software Engineering and Formal Methods -  - 图书 - Springer International Publishing AG - 9783319747804 - 2018年2月3日
如封面与标题不符,以标题为准

Software Engineering and Formal Methods 1st ed. 2018 edition

价格
元 549
不含税

远程仓调货

预计送达时间 年4月27日 - 年5月7日
添加至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