Duan, Zhenhua.

概要

作品:	2 作品在 7 項出版品 1 種語言

書目資訊

Computing and combinatorics25th International Conference, COCOON 2019, Xi'an, China, July 29-31, 2019 : proceedings / by: (1998 :); Du, Ding-Zhu.; Duan, Zhenhua.; SpringerLink (Online service); Tian, Cong. (書目-電子資源)

Structured object-oriented formal language and method5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015 : revised selected papers / by: (1998 :); Duan, Zhenhua.; Liu, Shaoying.; SpringerLink (Online service) (書目-電子資源)

Structured object-oriented formal language and method11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022 : revised selected papers / by: (1998 :); Duan, Zhenhua.; Liu, Ai.; Liu, Shaoying.; SpringerLink (Online service) (書目-電子資源)

Formal methods and software engineering19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017 : proceedings / by: (1998 :); Duan, Zhenhua.; Ong, Luke.; SpringerLink (Online service) (書目-電子資源)

Structured object-oriented formal language and methodthird International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 : revised selected papers / by: (1998 :); Duan, Zhenhua.; Liu, Shaoying.; SpringerLink (Online service) (書目-電子資源)

Structured object-oriented formal language and method8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018 : revised selected papers / by: (1998 :); Duan, Zhenhua.; SpringerLink (Online service) (書目-電子資源)

Structured object-oriented formal language and method4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014 : revised selected papers / by: (1998 :); Duan, Zhenhua.; Liu, Shaoying.; SpringerLink (Online service) (書目-電子資源)

主題