*全面介绍模型检测原理与与实践方法。 *对模型检测领域的核心问题进行了清晰的阐述。
¥51.30定价:¥69.00 (7.44折)
模型检测 电子工业出版社 新华书店正版,关注店铺成为会员可享店铺专属优惠,团购客户请咨询在线客服!
¥34.50定价:¥69.00 (5折)
明星店铺 文轩网旗舰店
模型检测 (美)埃德蒙·M.克拉克(Edmund M.Clarke,J 电子工业出版社【正版】 正版图书,下单前请先咨询客服,欢迎选购!
¥47.21定价:¥106.42 (4.44折)
【新华书店总店】模型检测 ,(美)埃德蒙·M.克拉克(Edmund M.Clarke,Jr.) 等,电子工业出版社 全国五仓就近发货85%城市次日达!团购优惠咨询:13284178503
¥36.78定价:¥138.00 (2.67折)
【新华书店总店】模型检测 ,(美)埃德蒙·M.克拉克(Edmund M.Clarke,Jr.) 等,电子工业出版社 全国五仓就近发货85%城市次日达!团购优惠咨询:13284178503
¥36.78定价:¥138.00 (2.67折)
¥301.99定价:¥605.00 (5折)
¥47.61定价:¥69.00 (6.9折)
¥48.46定价:¥69.00 (7.03折)
明星店铺 博库网旗舰店
模型检测【售后无忧】 「本店部分图书为稀缺古旧书籍,您下单之前可与在线客服联系」
¥202.40定价:¥450.00 (4.5折)
模型检测 (美)埃德蒙·M.克拉克(Edmund M.Clarke,Jr.) 等 电子工业出版社【正版保证】 全国三仓发货,物流便捷,下单秒杀,欢迎选购!
¥29.00定价:¥75.37 (3.85折)
模型检测 (美)埃德蒙·M克拉克(Edmund MClarke,Jr) 等 店内满减,达额立减,优惠多多,欢迎抢购!
¥33.00定价:¥81.90 (4.03折)
模型检测【售后无忧】 [正版书籍,达额减,现货速发,可开电子发票]
¥283.80定价:¥712.00 (3.99折)
模型检测【可开电子发票】 「本店部分图书为稀缺古旧书籍,您下单之前可与在线客服联系」
¥202.40定价:¥450.00 (4.5折)
模型检测 (美)埃德蒙·M.克拉克(Edmund M.Clarke,Jr.) 等 电子工业出版社【正版现货】 正版图书,本店套装图书默认为单本,您下单前可咨询在线客服,谢谢!
¥35.30定价:¥72.78 (4.86折)
模型检测 (美)埃德蒙·M.克拉克(Edmund M.Clarke,Jr.) 等 电子工业出版社【正版现货】 正版图书,本店套装图书默认为单本,您下单前可咨询在线客服,谢谢!
¥35.30定价:¥76.17 (4.64折)
模型检测,E.M.克拉克 (Edmund M.Clarke,电子工业出版社
¥186.00定价:¥13800 (0.14折)
¥268.50定价:¥658.10 (4.08折)
【新华书店自营】模型检测 全国五仓就近发货80%城市次日达!团购优惠咨询:18340637603
¥37.89定价:¥138.00 (2.75折)
¥48.30定价:¥69.00 (7折)
¥53.82定价:¥69.00 (7.8折)
【正版】 模型检测 (美)埃德蒙·M.克拉克(Edmund M.Clarke,Jr.) 等 电子工业出版社 978712 团购咨询在线客服
¥36.59定价:¥69.00 (5.31折)
Product Details 基本信息 ISBN-13 书号 9787121352744 Author 作者 (美)埃德蒙·M.克拉克(Edmund M.Clarke,Jr.) 等 Format 版本 平装-胶订 Pages Number 页数 225页 Publisher 出版社 电子工业出版社 Publication Date 出版日期 2018-11-01 Product Dimensions 商品尺寸 16开 Language 语种 其它(含多语) Book Contents 内容简介 模型检测是一种用于自动验证有限状态并发系统的技术,与基于模拟、测试和演绎推理的传统技术相比,具有许多方面的优势。本书共分18章,涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver、限界模型检测、自动机上的模型检测、抽象解释、程序分析、实时系统验证,同时介绍NuSMV和UPPAAL两个流行的模型检测器。
¥47.00定价:¥94.00 (5折)
模型检测 电子工业出版社 新华书店正版,关注店铺成为会员可享店铺专属优惠,团购客户请咨询在线客服!
¥37.00定价:¥69.00 (5.37折)
¥283.99定价:¥569.00 (5折)
模型检测【可开电子发票】 [正版书籍,达额减,现货速发,可开电子发票]
¥275.40定价:¥635.00 (4.34折)
¥48.30定价:¥69.00 (7折)
¥47.61定价:¥69.00 (6.9折)
模型检测 E.M.克拉克 (Edmund M.Clarke 电子工业出版社
¥188.00定价:¥188.00
模型检测 [美] E.M.克拉克(Edmund M. Clarke Jr.),O. 格伦贝 电子工业出版社【正版可开发票 全国三仓发货,物流便捷,下单秒杀,欢迎选购!
¥199.00定价:¥405.37 (4.91折)
模型检测,E.M.克拉克 (Edmund M.Clarke,电子工业出版社
¥185.00定价:¥13800 (0.14折)
模型检测【达额立减】 [正版图书,下单速发,下单前请联系客服查询书籍库存]
¥222.99定价:¥481.60 (4.64折)
¥51.75定价:¥69.00 (7.5折)
¥42.40定价:¥69.00 (6.15折)
¥48.12定价:¥69.00 (6.98折)
模型检测 (美)埃德蒙·M.克拉克(Edmund M.Clarke,Jr.) 等 著 吴尽昭 等 译 新华书店正版,关注店铺成为会员可享店铺专属优惠,团购客户请咨询在线客服!
¥37.00定价:¥69.00 (5.37折)
模型检测 电子工业出版社 新华书店正版,关注店铺成为会员可享店铺专属优惠,团购客户请咨询在线客服!
¥34.50定价:¥69.00 (5折)
¥47.53定价:¥69.00 (6.89折)
明星店铺 木垛图书旗舰店
¥47.61定价:¥69.00 (6.9折)
¥48.01定价:¥69.00 (6.96折)
NetWare组网工具箱大全 (美)David James Clarke著;胡衡沅等译 电子工业出版社
¥38.00定价:¥38.00
Web设计创新思维——用CSS、DOM脚本和XHTML进行Web设
本书充满了新鲜的、富有革新精神的设计理念。本书主题涉及:从*本质的CSS排版和网格设计、有效的CMS“驱动站点”样式化处理和令人惊异的PNG透明技巧,到魔术般的DOM脚本和针对页面的更好的打印布局技术。并介绍了如何使用这些技术魔术般地为网页设计创造出样式齐全、精美可用的版式。
¥46.90定价:¥68.00 (6.9折)
¥19.00定价:¥24.00 (7.92折)