消息首页搜索举报

英文原版 Model Checking 2E 模型检测英文版进口英语原版书籍

书籍内容简介可联系客服查阅，查书找书开票同样可以联系客服

763 763 九五品

库存2件

广东广州

认证卖家担保交易快速发货售后保障

作者Clarke, Edmund M. Jr

出版社The MIT Press

ISBN9780262038836

出版时间2018-12

装帧精装

定价763元

货号YB-12085

上书时间2024-03-19

瑞雅图书专营店

已实名已认证进店收藏店铺

在售商品暂无
平均发货时间 10小时
好评率暂无

最新上架

英文原版小说 The Player Of Games 游戏玩家 ¥98.00

英文原版 Writing the Broadway Musical 百老汇音乐剧写作英文版进口英语原版书籍 ¥156.00

【预订】James and the Giant Peach ¥118.00

【预订】Drive Your Own Darn Bus! ¥138.00

英文原版 Mathematics Of Life 生命之数用数学解释生命的存在伊恩·斯图尔特英文版进口英语原版书籍 ¥96.00

英文原版 Introductory Chemistry: A Foundation 化学基础入门第9版英文版进口英语原版书籍 ¥832.00

英文原版 Ekstedt 瑞典餐厅Ekstedt 北欧的现代烹饪精装英文版进口英语原版书籍 ¥358.00

英文原版 Tribes 部落一呼百应的力量紫牛作者Seth Godin 领导学组织行为学精装英文版进口英语原版书籍 ¥178.00

英文原版书 The Immersion Program 沉浸计划漫画小说 ¥178.00

商品详情

品相描述：九五品

商品描述: 内容摘要
书名：Model Checking 2E模型检测作者：Edmund M. Clark Jr. 出版社名称：MIT Press 出版时间：2018 语种：英语 ISBN：9780262038836 商品尺寸：18.4 x 2.8 x 23.5 cm 包装：精装页数：424（以实物为准） An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems. Model checking is a verification technology that provides an algorithmic means of determining whether an abstract model--representing, for example, a hardware or software design--satisfies a formal specification expressed as a temporal logic formula. If the specification is not satisfied, the method identifies a counterexample execution that shows the source of the problem. Today, many major hardware and software companies use model checking in practice, for verification of VLSI circuits, communication protocols, software device drivers, real-time embedded systems, and security algorithms. This book offers a comprehensive presentation of the theory and practice of model checking, covering the foundations of the key algorithms in depth. The field of model checking has grown dramatically since the publication of the first edition in 1999, and this second edition reflects the advances in the field. Reorganized, expanded, and updated, the new edition retains the focus on the foundations of temporal logic model while offering new chapters that cover topics that did not exist in 1999: propositional satisfiability, SAT-based model checking, counterexample-guided abstraction refinement, and software model checking. The book serves as an introduction to the field suitable for classroom use and as an essential guide for researchers. 1234567