標(biāo)題: Titlebook: Formal Methods: State of the Art and New Directions; Paul Boca,Jonathan P. Bowen,Jawed Siddiqi Book 20101st edition Springer-Verlag London [打印本頁] 作者: Jejunum 時(shí)間: 2025-3-21 18:59
書目名稱Formal Methods: State of the Art and New Directions影響因子(影響力)
書目名稱Formal Methods: State of the Art and New Directions影響因子(影響力)學(xué)科排名
書目名稱Formal Methods: State of the Art and New Directions網(wǎng)絡(luò)公開度
書目名稱Formal Methods: State of the Art and New Directions網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Formal Methods: State of the Art and New Directions被引頻次
書目名稱Formal Methods: State of the Art and New Directions被引頻次學(xué)科排名
書目名稱Formal Methods: State of the Art and New Directions年度引用
書目名稱Formal Methods: State of the Art and New Directions年度引用學(xué)科排名
書目名稱Formal Methods: State of the Art and New Directions讀者反饋
書目名稱Formal Methods: State of the Art and New Directions讀者反饋學(xué)科排名