全部
图书期刊非书资料
图书馆
- 桂林理工大学南宁分校图书馆(1)
资源类型
- 图书(1)
馆藏地址
- 文艺书库(1)
书目库
- 中文图书(1)
主题
- 程序校验(1)
出版社
- 国防工业出版社(1)
出版时间
- 2023.3(1)
-
计算科学与工程领域的计算机代码验证
— (美) 帕特里克·努普, 坎比兹·萨拉里著 PATRICK KNUP
索书号：TP311.1/249
标准编码： 978-7-118-12847-5
出版信息：北京 国防工业出版社 2023.3
中文图书
1 共有：1条记录