反应式和并发系统的时序逻辑

出版时间 2023-12-01T00:00 其他语言 83524

作者： (美)佐哈尔·曼纳//(以)艾米尔·伯努利|责编:安妮|译者:张
出版社： 清华大学
原售价: 79.00
折扣价: 60.04
折扣购买: 反应式和并发系统的时序逻辑
ISBN： 9787302644972

作者简介

本书全面介绍了时序逻辑和作者开发的反应式程序的计算模型，是该领域的经典和权威著作。