標(biāo)題: Titlebook: Formal Methods and Hybrid Real-Time Systems; Essays in Honour of Cliff B. Jones,Zhiming Liu,Jim Woodcock Book 2007 Springer-Verlag Berlin [打印本頁(yè)] 作者: 快樂(lè) 時(shí)間: 2025-3-21 18:32
書(shū)目名稱(chēng)Formal Methods and Hybrid Real-Time Systems影響因子(影響力)
書(shū)目名稱(chēng)Formal Methods and Hybrid Real-Time Systems影響因子(影響力)學(xué)科排名
書(shū)目名稱(chēng)Formal Methods and Hybrid Real-Time Systems網(wǎng)絡(luò)公開(kāi)度
書(shū)目名稱(chēng)Formal Methods and Hybrid Real-Time Systems網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書(shū)目名稱(chēng)Formal Methods and Hybrid Real-Time Systems被引頻次
書(shū)目名稱(chēng)Formal Methods and Hybrid Real-Time Systems被引頻次學(xué)科排名
書(shū)目名稱(chēng)Formal Methods and Hybrid Real-Time Systems年度引用
書(shū)目名稱(chēng)Formal Methods and Hybrid Real-Time Systems年度引用學(xué)科排名
書(shū)目名稱(chēng)Formal Methods and Hybrid Real-Time Systems讀者反饋
書(shū)目名稱(chēng)Formal Methods and Hybrid Real-Time Systems讀者反饋學(xué)科排名