We use cookies to improve your experience on this site. Learn more

Necessary (required) Required for the site to function. Cannot be disabled.

Analytics Help us understand how visitors use the site.

Search books

My Library
Sign in
Sign up

Home
Authors
Huibiao Zhu

Author

Huibiao Zhu

4 books in our library

All books by Huibiao Zhu

4 books

Theoretical Aspects of Computing -- ICTAC 2013

by Jim Woodcock

Cover of Theoretical Aspects of Computing -- ICTAC 2013

Buy this book More books like Theoretical Aspects of Computing -- ICTAC 2013

Formal Methods and Software Engineering

Cover of Formal Methods and Software Engineering

Buy this book More books like Formal Methods and Software Engineering

Theories of Programming and Formal Methods

by Jim Woodcock

Cover of Theories of Programming and Formal Methods

Buy this book More books like Theories of Programming and Formal Methods

Unifying Theories of Programming and Formal Engineering Methods

by Jim Woodcock

Cover of Unifying Theories of Programming and Formal Engineering Methods

Buy this book More books like Unifying Theories of Programming and Formal Engineering Methods

Looking for another book by Huibiao Zhu? Search by title

We have 2 868 176 books in our database.

About Privacy Contact FAQ

Bookscovery is a participant in the Amazon Services LLC Associates Program and the Bookshop.org Affiliate Program, affiliate advertising programs designed to provide a means for sites to earn advertising fees by advertising and linking to the affiliate websites.

© 2026 bookscovery.com, Gareth James. Book data provided by Open Library.