標題: Titlebook: Theories of Programming and Formal Methods; Essays Dedicated to Zhiming Liu,Jim Woodcock,Huibiao Zhu Book 2013 Springer-Verlag Berlin Heid [打印本頁] 作者: 有靈感 時間: 2025-3-21 18:11
書目名稱Theories of Programming and Formal Methods影響因子(影響力)
書目名稱Theories of Programming and Formal Methods影響因子(影響力)學科排名
書目名稱Theories of Programming and Formal Methods網(wǎng)絡公開度
書目名稱Theories of Programming and Formal Methods網(wǎng)絡公開度學科排名
書目名稱Theories of Programming and Formal Methods被引頻次
書目名稱Theories of Programming and Formal Methods被引頻次學科排名
書目名稱Theories of Programming and Formal Methods年度引用
書目名稱Theories of Programming and Formal Methods年度引用學科排名
書目名稱Theories of Programming and Formal Methods讀者反饋
書目名稱Theories of Programming and Formal Methods讀者反饋學科排名