反应式和并发系统的时序逻辑 (美)佐哈尔·曼纳,(以)艾米尔·伯努利 著 张广泉 译 专业科技 文轩网

人民邮电出版社 电子工业出版社 清华大学出版社 机械工业出版社 科学出版社 中国铁道出版社 北京航空航天大学出版社 中国电力出版社 北京理工大学出版社 中国人民大学出版社 北京大学出版社 高等教育出版社 国防工业音像出版社 中国标准出版社 中国水利水电出版社 化学工业出版社 电子科技大学出版社 其他 东南大学出版社 北京交通大学出版社