- ECU Libraries Catalog

Preview Version: You're viewing our new catalog design. Share your feedback or return to the current catalog.

Start Over

You searched for: author_facet Liu, Zhiming

Showing 1 - 10 of 21 results

Search Results

Cover image for Formal methods and software engineering

Formal methods and software engineering

by International Conference on Formal Engineering Methods
2006
Format: Book

Location
Access Content Online

Cover image for Dependable Software Engineering

Dependable Software Engineering

by Li, Xuandong
2015
1st ed. 2015
Format: Electronic

Location
Access Content Online

Cover image for Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

by Liu, Zhiming
2016
1st ed. 2016
Format: Electronic

Location
Access Content Online

Cover image for Engineering Trustworthy Software Systems

Engineering Trustworthy Software Systems

by Bowen, Jonathan P.
2017
Format: Electronic

Location
Access Content Online

Cover image for Mathematical frameworks for component software

Mathematical frameworks for component software

2006
Format: Electronic

Location
Access Content Online

Cover image for Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures

Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures

by Bowen, Jonathan P.
2018
1st ed. 2018
Format: Electronic

Location
Access Content Online

Cover image for Theoretical aspects of computing

Theoretical aspects of computing

by ICTAC 2004
2005
Format: Electronic

Location
Access Content Online

Cover image for Theoretical aspects of computing

Theoretical aspects of computing

by ICTAC 2007
2007
Format: Electronic

Location
Access Content Online

Cover image for Theoretical Aspects of Computing - ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Theoretical Aspects of Computing - ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

by Liu, Zhiming
2013
Format: Electronic

Location
Access Content Online

Cover image for Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

by Liu, Zhiming
2013
Format: Electronic

Location
Access Content Online