反应式和并发系统的时序逻辑 一部形式化方法领域的经典和权威著作,作者均为国际著名计算机科学家,其中一位荣获1996年图灵奖
本书全面介绍了时序逻辑和作者开发的反应式程序的计算模型,是该领域的经典和权威著作。
¥69.80定价:¥79.00 (8.84折)
¥74.66定价:¥79.00 (9.46折)
¥76.46定价:¥79.00 (9.68折)
¥78.00定价:¥99.10 (7.88折)
¥73.45定价:¥79.00 (9.3折)
¥77.97定价:¥99.10 (7.87折)
¥73.96定价:¥79.00 (9.37折)
¥75.46定价:¥79.00 (9.56折)
反应式和并发系统的时序逻辑 温馨提示: 正版保障 贴心售后 收藏商品 优先发货 部分书籍卖价高于定价 介者慎拍. 部分赠品赠完为止。
¥106.00定价:¥106.65 (9.94折)
¥75.47定价:¥79.00 (9.56折)
反应式和并发系统的时序逻辑 清华大学出版社 新华书店正版,关注店铺成为会员可享店铺专属优惠,团购客户请咨询在线客服!
本书全面介绍了时序逻辑和作者开发的反应式程序的计算模型,是该领域的经典和权威著作。
¥57.60定价:¥79.00 (7.3折)
明星店铺 文轩网旗舰店
¥77.67定价:¥99.10 (7.84折)
¥75.56定价:¥79.00 (9.57折)
¥77.68定价:¥99.10 (7.84折)
¥121.15定价:¥121.15
反应式和并发系统的时序逻辑 正版书籍 放心购买【需要开票的用户 请联系客服或致电】
¥73.96定价:¥79.00 (9.37折)
¥119.79定价:¥119.79
反应式和并发系统的时序逻辑 清华大学出版社 新华书店正版,关注店铺成为会员可享店铺专属优惠,团购客户请咨询在线客服!
本书全面介绍了时序逻辑和作者开发的反应式程序的计算模型,是该领域的经典和权威著作。
¥66.40定价:¥79.00 (8.41折)
【正版全新正版新书】 反应式和并发系统的时序逻辑 清华大学出版社 [美]佐哈尔·曼纳(Zohar Manna) 反应式- 全新正版,可开发票,团购优惠咨询在线客服
¥79.00定价:¥79.00
【正版新书】 反应式和并发系统的时序逻辑 清华大学出版社 [美]佐哈尔·曼纳(Zohar Maa) 反应式-时序控制 可开发票,量大优惠可联系在线客服
¥63.20定价:¥79.00 (8折)
反应式和并发系统的时序逻辑 清华大学出版社 新华书店正版,关注店铺成为会员可享店铺专属优惠,团购客户请咨询在线客服!
本书全面介绍了时序逻辑和作者开发的反应式程序的计算模型,是该领域的经典和权威著作。
¥55.10定价:¥79.00 (6.98折)
【官方正版新书】 反应式和并发系统的时序逻辑 清华大学出版社 [美]佐哈尔·曼纳(Zohar Manna) 反应式-时序
¥94.13定价:¥94.13
反应式和并发系统的时序逻辑 [美]佐哈尔·曼纳(Zohar Manna),[以]艾米尔·伯努利(Amir Pnueli) 新华书店正版,关注店铺成为会员可享店铺专属优惠,团购客户请咨询在线客服!
本书全面介绍了时序逻辑和作者开发的反应式程序的计算模型,是该领域的经典和权威著作。
¥63.20定价:¥79.00 (8折)
Product Details 基本信息 ISBN-13 书号 9787302644972 Author 作者 [美]佐哈尔·曼纳(Zohar Manna),[以]艾米尔·伯努利(Amir Pnueli),张广泉 Format 版本 平装-胶订 Pages Number 页数 236页 Publisher 出版社 清华大学出版社 Publication Date 出版日期 2023-12-01 Product Dimensions 商品尺寸 其他 Language 语种 其它(含多语) Book Contents 内容简介 反应式和并发系统指实时运行的计算系统,如操作系统、控制系统、交互系统和并发系统。这些系统很难规约、实现和验证,主要原因是系统与其环境之间及系统本身的并行进程之间交互的复杂性,在交互时间上的微小变化可能导致接近不同的行为。时序逻辑是一种形式化规约语言,可用于刻画和分析反应式系统中有关时间和行为方面的属性。它提供了一种简单、自然但准确的方式来讨论交互发生的顺序,而
¥59.00定价:¥118.00 (5折)
反应式和并发系统的时序逻辑 佐哈尔曼纳(Zohar Manna)张广泉计算机软件工程人工智能自动化清华大学出版社 正版图书 品质保障 优质服务 发货及时 售后无忧
¥65.60定价:¥79.00 (8.31折)