定 價:¥26.00
01哲學證成與機器編程
02用戶建模2001User modeli…
03學習軟件組織進展
04形式方法:獲得完美信息技…
05面向代理的軟件工程
06軟件測試與運行期驗證:正…
07現(xiàn)代軟件工程教育:ICSE …
08產(chǎn)品設(shè)計軟技能:創(chuàng)業(yè)公司…
09形式方法應用的杠桿作用:…
10數(shù)字電路設(shè)計與驗證快速入…