標(biāo)題: Titlebook: The Foundations of Program Verification; Jacques Loeckx,Kurt Sieber Textbook 1987Latest edition Springer Fachmedien Wiesbaden 1987 Logik.P [打印本頁] 作者: 作業(yè) 時間: 2025-3-21 17:51
書目名稱The Foundations of Program Verification影響因子(影響力)
書目名稱The Foundations of Program Verification影響因子(影響力)學(xué)科排名
書目名稱The Foundations of Program Verification網(wǎng)絡(luò)公開度
書目名稱The Foundations of Program Verification網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱The Foundations of Program Verification被引頻次
書目名稱The Foundations of Program Verification被引頻次學(xué)科排名
書目名稱The Foundations of Program Verification年度引用
書目名稱The Foundations of Program Verification年度引用學(xué)科排名
書目名稱The Foundations of Program Verification讀者反饋
書目名稱The Foundations of Program Verification讀者反饋學(xué)科排名