反应式和并发系统的时序逻辑
(美)佐哈尔·曼纳(Zohar Manna),(以)艾米尔·伯努利(Amir Pnueli),张广泉
清华大学出版社
9787302644972
2023年12月
¥79.00
¥31.60
¥30.00
¥25.30
0元包邮! 送3160积分[详细介绍]购满0.1元免运费! 领券
有路自营缺货