booktheque

Huibiao Zhu

1 ספרים במאגר

ספרים

Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings
Huibiao Zhu · 2010

ספרים משותפים ואוספים

ספרים שבהם Huibiao Zhu מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Theoretical Aspects of Computing -- ICTAC 2013
Zhiming Liu · 2013
Unifying Theories of Programming
Jonathan P. Bowen · 2017
Service-Oriented Computing - ICSOC Workshops 2012
Aditya Ghose · 2013
Theories of Programming and Formal Methods
Zhiming Liu · 2013
Unifying Theories of Programming and Formal Engineering Methods
Zhiming Liu · 2013
Formal Methods and Software Engineering
Jin-Song Dong · 2003