定 價:¥158.00
01軟件工程
02賽博空間簡史
03大型重構(gòu)
04面向圖形的軟件建構(gòu)
05形式方法應(yīng)用的杠桿作用:…
06哲學(xué)證成與機(jī)器編程
07軟件結(jié)構(gòu)的質(zhì)量
08生成式及基于組成的軟件工…
09模型驅(qū)動架構(gòu):基礎(chǔ)與應(yīng)用…
10模型驅(qū)動的工程語言與系統(tǒng)…