Huibiao Zhu
Author detail
Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.
Overview
Catalog identity and bibliographic footprint for this author.
Catalog identity
How this author appears inside the active Bookitis catalog.
Display name
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryUT
Unifying Theories of Programming
cover - Image source: Open LibraryTA
Theoretical Aspects of Computing -- ICTAC 2013
cover - Image source: Open LibrarySC
Service-Oriented Computing - ICSOC Workshops 2012
cover - Image source: Open LibraryFM
Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings
cover - TOTheories of Programming and For...Huibiao Zhu
Theories of Programming and Formal Methods
no cover - UTUnifying Theories of Programmin...Huibiao Zhu
Unifying Theories of Programming and Formal Engineering Methods
no cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.
- Open Work
Unifying Theories of Programming
- Open Work
Theoretical Aspects of Computing -- ICTAC 2013
- Open Work
Service-Oriented Computing - ICSOC Workshops 2012
- Open Work
Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings
- Open Work
Theories of Programming and Formal Methods
- Open Work
Unifying Theories of Programming and Formal Engineering Methods