Huibiao Zhu
Eine Liste von Autoren mit Biografien, Lebensdaten und späteren Sammlungen aller Bücher.
Bücher des Autors
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
