定 價:¥39.00
01形式方法應(yīng)用的杠桿作用:…
02軟件質(zhì)量管理實(shí)踐
03對象模型化與OCL:在對象…
04軟件工程中的生成與轉(zhuǎn)換技…
05哲學(xué)證成與機(jī)器編程
06形式方法和軟件工程LNCS-…
07打造企業(yè)創(chuàng)新優(yōu)勢:企業(yè)轉(zhuǎn)…
08工業(yè)軟件云戰(zhàn)略
09面向圖形的軟件建構(gòu)
10MATLAB 2022中文版數(shù)學(xué)計…