预订Qed at Large: A Survey of Engineering of Formally Verified 【全球购】进口原版图书,约5-8周到达国内后发出
¥846.00
【预订】QED at Large 9781680835946 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781680835946 Author 作者 Talia Ringer^^Karl Palmskog^^Ilya Sergey^^Milos Gligoric^^Za Format 版本 平装-胶订 Pages Number 页数 194页 Publisher 出版社 Now Publishers Publication Date 出版日期 2019-09-30 Shipping Weight 商品重量 0.63 Language 语种 其它(含多语) Book Contents 内容简介 This monograph provides the reader with an insightful overview of the work that has led to modern-day techniques for formally verifying software. In times of increasing automation, this underpins many software systems so future trends are also highlighted.
¥1494
预订QED at Large:A Survey of Engineering of Formally Verified 预订,预计下单后2-3周左右发货!
¥1656