-
中文图书1.无机化学反应方程式手册 O611.3/553
馆藏复本:1
可借复本:0 曹忠良,王珍云编
湖南科学技术出版社 1982
(0) 馆藏 -
中文图书2.反应式和并发系统的时序逻辑 TP311.11/620
馆藏复本:3
可借复本:3 (美)佐哈尔·曼纳(ZoharManna),(以)艾米尔·伯努利(AmirPnueli)著
清华大学出版社 2023
(0) 馆藏
馆藏复本:1
可借复本:0 曹忠良,王珍云编
湖南科学技术出版社 1982
(0) 馆藏
馆藏复本:3
可借复本:3 (美)佐哈尔·曼纳(ZoharManna),(以)艾米尔·伯努利(AmirPnueli)著
清华大学出版社 2023
(0) 馆藏