-
中文图书1.算法即设计:形式生成的网格系统 TP393.028/422
馆藏复本:3
可借复本:3 (德) 克里斯托弗·格伦伯格著
岭南美术出版社 2022
(0) 馆藏 -
中文图书2.模型检测 TP274/4544
馆藏复本:3
可借复本:3 (美) Edmund M. Clarke, (美) Orna Grumberg, (美) Doron A. Peled著
电子工业出版社 2018
(0) 馆藏 -
中文图书3.构件化软件:超越面向对象编程.2版 TP311.5/344
馆藏复本:8
可借复本:7 (美)泽帕斯基(Clemens Szyperski),格伦兹(Dominik Gruntz),穆雷尔(Stephan Murer)著
电子工业出版社 2003.8
(0) 馆藏 -
中文图书4.测试驱动的嵌入式C语言开发 TP312C/4832
馆藏复本:5
可借复本:3 (美) James W.Grenning著
机械工业出版社 2012
(0) 馆藏