-
中文图书1.程序正确性证明方法 TP311.1/1001
馆藏复本:2
可借复本:2 武斌著
上海财经大学出版社 2018
(0) 馆藏
-
中文图书2.基于环境的软件近似正确性 TP311.1/7542
馆藏复本:2
可借复本:2 马艳芳著
中国科学技术大学出版社 2017
(0) 馆藏
馆藏复本:2
可借复本:2 武斌著
上海财经大学出版社 2018
(0) 馆藏
馆藏复本:2
可借复本:2 马艳芳著
中国科学技术大学出版社 2017
(0) 馆藏