全部
图书期刊
图书馆
- 图书馆(1)
资源类型
- 图书(1)
书目库
- 中文图书(1)
主题
- 程序校验(1)
出版社
- 国防工业出版社(1)
出版时间
- 2023(1)
-
计算科学与工程领域的计算机代码验证
— (美)帕特里克·努普(PATRICK KNUPP)，(美)坎比兹·萨
索书号：TP311/2685
标准编码： 978-7-118-12847-5
出版信息：北京 国防工业出版社 2023
中文图书
1 共有：1条记录
— (美)帕特里克·努普(PATRICK KNUPP)，(美)坎比兹·萨
索书号：TP311/2685
标准编码： 978-7-118-12847-5
出版信息：北京 国防工业出版社 2023
中文图书
1 共有：1条记录