海外直订Verified Software. Theories, Tools, and Experiments: 10t
¥553.00
明星店铺 中华商务进口图书旗舰店
【预订】Verified Software. Theories, Tools, and Experiments 9783 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030035914 Author 作者 Ruzica Piskac Yale University New Haven CT Format 版本 平装-胶订 Pages Number 页数 345页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2018-11-24 Language 语种 其它(含多语) Book Contents 内容简介 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. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.
¥520.00