-
中文图书1.高级语言程序变换的机械化证明导论 TP311.1/243
馆藏复本:2
可借复本:2 何炎祥, 江南著
科学出版社 2022
(0) 馆藏 -
中文图书2.高级语言程序设计实训教程 TP311.1/190
馆藏复本:3
可借复本:3 余永红 ... [等] 编著
电子工业出版社 2021
(0) 馆藏 -
中文图书3.高级语言程序设计 TP312/672
馆藏复本:3
可借复本:3 赵少卡,郭永宁,林为伟编著
电子工业出版社 2020
(0) 馆藏