-
中文图书1.反应式和并发系统的时序逻辑 TP311.11/25
馆藏复本:2
可借复本:0 (美)佐哈尔·曼纳(Zohar Manna),(以)艾米尔·伯努利(Amir Pnueli)著
清华大学出版社 2023
(0) 馆藏
馆藏复本:2
可借复本:0 (美)佐哈尔·曼纳(Zohar Manna),(以)艾米尔·伯努利(Amir Pnueli)著
清华大学出版社 2023
(0) 馆藏