Huibiao Zhu
Список авторов с биографиями, датами жизни и будущими подборками всех их книг.
Книги автора
7
Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings
Unifying Theories of Programming
Theoretical Aspects of Computing -- ICTAC 2013
Formal Methods and Software Engineering
Theories of Programming and Formal Methods
Service-Oriented Computing - ICSOC Workshops 2012
