Verified Software Theories Tools and Experiments - - 图书 - Springer Nature Switzerland AG - 9783030035914 - 2018年11月24日
如封面与标题不符，以标题为准

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

价格
元 380
不含税

远程仓调货

预计送达时间 年6月15日 - 年6月25日

顾客评价：

根据欧洲消费者保护法享受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