標(biāo)題: Titlebook: Formal Methods – The Next 30 Years; Third World Congress Maurice H. ter Beek,Annabelle McIver,José N. Olive Conference proceedings 2019 Spr [打印本頁(yè)] 作者: 難受 時(shí)間: 2025-3-21 16:57
書(shū)目名稱(chēng)Formal Methods – The Next 30 Years影響因子(影響力)
書(shū)目名稱(chēng)Formal Methods – The Next 30 Years影響因子(影響力)學(xué)科排名
書(shū)目名稱(chēng)Formal Methods – The Next 30 Years網(wǎng)絡(luò)公開(kāi)度
書(shū)目名稱(chēng)Formal Methods – The Next 30 Years網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書(shū)目名稱(chēng)Formal Methods – The Next 30 Years被引頻次
書(shū)目名稱(chēng)Formal Methods – The Next 30 Years被引頻次學(xué)科排名
書(shū)目名稱(chēng)Formal Methods – The Next 30 Years年度引用
書(shū)目名稱(chēng)Formal Methods – The Next 30 Years年度引用學(xué)科排名
書(shū)目名稱(chēng)Formal Methods – The Next 30 Years讀者反饋
書(shū)目名稱(chēng)Formal Methods – The Next 30 Years讀者反饋學(xué)科排名