定 价:¥68.00
01形式方法应用的杠杆作用:…
02形式方法和软件工程LNCS-…
03基础软件之路:企业级实践…
04异常处理技术高级论题
05软件测试与运行期验证:正…
06创新求索录:第三集
07MATLAB 2022中文版数学计…
08软件简史(上下册)
09多代理系统用迭代软件工程…
10数字电路设计与验证快速入…