反应式和并发系统的时序逻辑 一部形式化方法领域的经典和权威著作,作者均为国际著名计算机科学家,其中一位荣获1996年图灵奖
本书全面介绍了时序逻辑和作者开发的反应式程序的计算模型,是该领域的经典和权威著作。
¥69.80定价:¥79.00 (8.84折)
3条评论
[美]佐哈尔·曼纳(Zohar Manna),[以]艾米尔·伯努利(Amir Pnueli),张广泉 /2023-12-01 /清华大学出版社
加入购物车收藏