Zhiming Liu

Zhiming Liu’s Followers

None yet.

Zhiming Liu

Combine Editions
Zhiming Liu’s books

Average rating: 4.0 · 4 ratings · 1 review · 43 distinct works

	Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, ... Computer Science and General Issues) by Zhiming Liu (Editor), Jim Woodcock (Editor), Huibiao Zhu (Editor) really liked it 4.00 avg rating — 2 ratings — published 2013 — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Foundations of Health Informatics Engineering and Systems: First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. ... (Lecture Notes in Computer Science, 7151) by Zhiming Liu (Editor), Alan Wassyng (Editor) really liked it 4.00 avg rating — 1 rating — published 2012 — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Theoretical Aspects of Computing -- ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings by Zhiming Liu (editor), Jim Woodcock (Editor), Huibiao Zhu (Editor) really liked it 4.00 avg rating — 1 rating — published 2013 — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Theoretical Aspects of Computing - ICTAC 2004: First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers (Lecture Notes in Computer Science, 3407) 0.00 avg rating — 0 ratings — published 2005 — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	MATHEMATICAL FRAMEWORKS FOR COMPONENT SOFTWARE: MODELS FOR ANALYSIS AND SYNTHESIS by Zhiming Liu (editor), Jifeng He (Editor) 0.00 avg rating — 0 ratings — published 2006 — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings by Zhiming Liu (Editor), Jifeng He (Editor) 0.00 avg rating — 0 ratings — published 2006	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Theoretical Aspects of Computing - ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings (Lecture Notes in Computer Science, 4711) by Zhiming Liu (Editor), Cliff B. Jones (Editor), Jones Woodcock (Editor) 0.00 avg rating — 0 ratings — published 2007 — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings (Lecture Notes in Computer Science, 5799) by Zhiming Liu (Editor), Anders P. Ravn (Editor) 0.00 avg rating — 0 ratings — published 2009	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday by Zhiming Liu (editor), Jim Woodcock (Editor), Huibiao Zhu (Editor) 0.00 avg rating — 0 ratings — published 2013	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Theoretical Aspects of Computing Ictac 2004 by Zhiming Liu (Editor), Keijiro Araki (Editor) 0.00 avg rating — 0 ratings — published 2005	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

More books by Zhiming Liu…

Is this you? Let us know. If not, help out and invite Zhiming to Goodreads.