-
中文图书1.反应式和并发系统的时序逻辑 TP311.11/620
馆藏复本:3
可借复本:3 (美)佐哈尔·曼纳(ZoharManna),(以)艾米尔·伯努利(AmirPnueli)著
清华大学出版社 2023
(0) 馆藏 -
中文图书2.形式化方法导论.第2版 TP301.2/102/2
馆藏复本:3
可借复本:3 张广泉编著
清华大学出版社 2023
(0) 馆藏 -
中文图书3.形式化方法导论 TP301.2/102
馆藏复本:2
可借复本:2 张广泉编著
清华大学出版社 2015
(0) 馆藏