预订Peripheral Nerves: Injuries, An Issue of Neurosurgery Clin 预订,预计下单后3-6周左右发货!
¥1219
【预订】Software Verification and Analysis 9781849968294 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781849968294 Author 作者 Janusz Laski Softools Inc. Rochester Hills MI USA Format 版本 平装-胶订 Pages Number 页数 234页 Publisher 出版社 Springer London Publication Date 出版日期 2010-10-13 Shipping Weight 商品重量 384g Language 语种 英语 Book Contents 内容简介 “The situation is good, but not hopeless” (Polish folk wisdom) The text is devoted to the Software Analysis and Testing (SAT) methods and s- porting tools for assessing and, if possible, improving software quality, specifically its correctness. The term quality assurance is avoided for it is this author’s firm belief that in the current state of the art that goal is unattainable, a plethora of “gu- anteed” solutions to the problem notwithstanding. Therefore, the rather awkward phrase “improving correctness” is to be understood as an effort to minimize the number of residual prog
¥520.00
【预订】Software Verification and Analysis 9781848822399 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781848822399 Author 作者 Janusz Laski Softools Inc. Rochester Hills MI USA Format 版本 精装 Pages Number 页数 234页 Publisher 出版社 Springer London Publication Date 出版日期 2009-04-03 Shipping Weight 商品重量 1150g Language 语种 英语 Book Contents 内容简介 “The situation is good, but not hopeless” (Polish folk wisdom) The text is devoted to the Software Analysis and Testing (SAT) methods and s- porting tools for assessing and, if possible, improving software quality, specifically its correctness. The term quality assurance is avoided for it is this author’s firm belief that in the current state of the art that goal is unattainable, a plethora of “gu- anteed” solutions to the problem notwithstanding. Therefore, the rather awkward phrase “improving correctness” is to be understood as an effort to minimize the number of residual programmin
¥520.00