定 價(jià):¥28.00
01軟件測(cè)試的形式方法 FATE…
02數(shù)字電路設(shè)計(jì)與驗(yàn)證快速入…
03面向代理的軟件工程
04對(duì)象模型化與OCL:在對(duì)象…
05創(chuàng)建虛擬原型軟件項(xiàng)目:方…
06混沌圖像加密及其安全性分…
07系統(tǒng)可靠性:軟件、計(jì)算、…
08形式方法應(yīng)用的杠桿作用:…
09用戶建模2001User modeli…
10電子游戲簡(jiǎn)史(上下冊(cè))