標(biāo)題: Titlebook: Formal Methods and Software Engineering; 4th International Co Chris George,Huaikou Miao Conference proceedings 2002 Springer-Verlag Berlin [打印本頁] 作者: 使無罪 時(shí)間: 2025-3-21 16:28
書目名稱Formal Methods and Software Engineering影響因子(影響力)
書目名稱Formal Methods and Software Engineering影響因子(影響力)學(xué)科排名
書目名稱Formal Methods and Software Engineering網(wǎng)絡(luò)公開度
書目名稱Formal Methods and Software Engineering網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Formal Methods and Software Engineering被引頻次
書目名稱Formal Methods and Software Engineering被引頻次學(xué)科排名
書目名稱Formal Methods and Software Engineering年度引用
書目名稱Formal Methods and Software Engineering年度引用學(xué)科排名
書目名稱Formal Methods and Software Engineering讀者反饋
書目名稱Formal Methods and Software Engineering讀者反饋學(xué)科排名