Join the Goodreads Author Program

Are you Zhiming Liu, author of the books below?
Unifying Theories of Programming and Formal Engineering Methods by Zhiming Liu Foundations of Health Informatics Engineering and Systems by Zhiming Liu Theoretical Aspects of Computing -- ICTAC 2013 by Zhiming Liu Theoretical Aspects of Computing - ICTAC 2004 by Zhiming Liu MATHEMATICAL FRAMEWORKS FOR COMPONENT SOFTWARE by Zhiming Liu Formal Methods and Software Engineering by Zhiming Liu Theoretical Aspects of Computing - ICTAC 2007 by Zhiming Liu Automated Technology for Verification and Analysis by Zhiming Liu Theories of Programming and Formal Methods by Zhiming Liu Theoretical Aspects of Computing Ictac 2004 by Zhiming Liu


To join the author program as Zhiming Liu, you will first need to sign in to Goodreads. Then navigate back to this page to apply.