Home > Authors > Huibiao Zhu

Huibiao Zhu

All books by Huibiao Zhu

(Displaying 4 Books)

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

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

Huibiao Zhu

Service-Oriented Computing - ICSOC Workshops 2012

Service-Oriented Computing - ICSOC Workshops 2012

Aditya Ghose

Theoretical Aspects of Computing -- ICTAC 2013

Theoretical Aspects of Computing -- ICTAC 2013

Zhiming Liu

Unifying Theories of Programming

Unifying Theories of Programming

Jonathan P. Bowen

Looking for another book by Huibiao Zhu? Search for the book by title.