-
中文图书1.高级语言程序变换的机械化证明导论 TP311.1/219
馆藏复本:2
可借复本:2 何炎祥, 江南著
科学出版社 2022.09
(0) 馆藏 -
中文图书2.高级语言程序设计 TP311.1/145
馆藏复本:3
可借复本:2 赵少卡,郭永宁,林为伟编著
电子工业出版社 2020
(0) 馆藏 -
中文图书3.高级语言及算法设计实验教程 TP312/330
馆藏复本:3
可借复本:2 傅学庆,李少丹编著
科学出版社 2020
(0) 馆藏