語系: 繁體中文
說明(常見問題)
登入
語系
跳至 : 概要 | 書目資訊 | 主題

Liu, Zhiming.

概要
作品: 1 作品在 9 項出版品 1 種語言
書目資訊
Unifying theories of programming and formal engineering methods = International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013 : advanced lectures / by: SpringerLink (Online service); Zhu, Huibiao.; Liu, Zhiming.; Woodcock, Jim.; Workshop on the Preservation of Stability under Discretization ((2001 :) (書目-語言資料,印刷品)
Engineering Trustworthy Software Systems = 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures / by: Bowen, Jonathan P.; Liu, Zhiming.; Zhang, Zili.; SpringerLink (Online service) (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/edt]
Engineering trustworthy software systems = third International School, SETSS 2017, Chongqing, China, April 17-22, 2017 : tutorial lectures / by: Bowen, Jonathan P.; Liu, Zhiming.; Workshop on the Preservation of Stability under Discretization ((2001 :); Zhang, Zili.; SpringerLink (Online service) (書目-語言資料,印刷品)
Theoretical Aspects of Computing – ICTAC 2022 = 19th International Colloquium, Tbilisi, Georgia, September 27–29, 2022, Proceedings / by: Pasareanu, Corina S.; Seidl, Helmut.; SpringerLink (Online service); Liu, Zhiming. (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/edt]
Theoretical aspects of computing - ICTAC 2013 = 10th international colloquium, Shanghai, China, September 4-6, 2013 : proceedings / by: Woodcock, Jim.; Liu, Zhiming.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Zhu, Huibiao. (書目-語言資料,印刷品)
Theories of programming and formal methods = essays dedicated to Jifeng He on the Occasion of His 70th Birthday / by: Woodcock, Jim.; Liu, Zhiming.; Zhu, Huibiao.; SpringerLink (Online service) (書目-語言資料,印刷品)
Engineering trustworthy software systems = 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018 : tutorial lectures / by: SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Zhang, Zili.; Liu, Zhiming.; Bowen, Jonathan P. (書目-語言資料,印刷品)
Dependable Software Engineering: Theories, Tools, and Applications = First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings / by: SpringerLink (Online service); Yi, Wang.; Li, Xuandong.; Liu, Zhiming. (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/edt]
Engineering Trustworthy Software Systems = 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures / by: Liu, Zhiming.; Bowen, Jonathan P.; Zhang, Zili.; SpringerLink (Online service) (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/edt]
Automated technology for verification and analysis = 7th onternational symposium, ATVA 2009, Macao, China, October 14-16, 2009 : proceedings / by: Liu, Zhiming.; Workshop on the Preservation of Stability under Discretization ((2001 :); Ravn, Anders P.; SpringerLink (Online service) (書目-語言資料,印刷品)
更多
 
 
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入