定 價(jià):¥24.00
01形式方法應(yīng)用的杠桿作用:…
02形式方法和軟件工程LNCS-…
03生成式及基于組成的軟件工…
04軟件體系結(jié)構(gòu):Software …
05軟件組成:SC 2006 /會(huì)議…
06創(chuàng)建虛擬原型軟件項(xiàng)目:方…
07網(wǎng)絡(luò)時(shí)代中國(guó)動(dòng)畫(huà)產(chǎn)業(yè)成長(zhǎng)…
08模型驅(qū)動(dòng)架構(gòu):基礎(chǔ)與應(yīng)用…
09無(wú)線傳感器原理及應(yīng)用
10形式方法:獲得完美信息技…