標(biāo)題: Titlebook: Formal Methods in Software and Systems Modeling; Essays Dedicated to Hans-J?rg Kreowski,Ugo Montanari,Gabriele Taentzer Book 2005 Springer [打印本頁] 作者: CHORD 時間: 2025-3-21 19:15
書目名稱Formal Methods in Software and Systems Modeling影響因子(影響力)
書目名稱Formal Methods in Software and Systems Modeling影響因子(影響力)學(xué)科排名
書目名稱Formal Methods in Software and Systems Modeling網(wǎng)絡(luò)公開度
書目名稱Formal Methods in Software and Systems Modeling網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Formal Methods in Software and Systems Modeling被引頻次
書目名稱Formal Methods in Software and Systems Modeling被引頻次學(xué)科排名
書目名稱Formal Methods in Software and Systems Modeling年度引用
書目名稱Formal Methods in Software and Systems Modeling年度引用學(xué)科排名
書目名稱Formal Methods in Software and Systems Modeling讀者反饋
書目名稱Formal Methods in Software and Systems Modeling讀者反饋學(xué)科排名