WishlistWishlist | Your AccountYour Account | HelpHelp
Browse by Subject

Browse the Site
Browse by Author

Zhiming Liu

You may sort these results by title or by publication date.

7 Titles Showing 1 - 7
Automated Technology for Verification and Analysis: 7th International Symposium, Atva 2009, Macao, China, October 14-16, 2009, Proceedings

Automated Technology for Verification and Analysis: 7th International Symposium, Atva 2009, Macao, China, October 14-16, 2009, Proceedings

by Anders P. Ravn, Zhiming Liu (Editor)
Paperback - October 2009
List price: $95.00
Compare Prices
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

by Cliff B. Jones (Editor), Jim Woodcock (Editor), Zhiming Liu (Editor)
Paperback - November 2007
List price: $89.95
Compare Prices
Theoretical Aspets of Computing - ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings

Theoretical Aspets of Computing - ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings

by Cliff B. Jones (Editor), Zhiming Liu (Editor), Jones Woodcock (Editor)
Paperback - October 2007
List price: $89.95
Compare Prices
Domain Modeling and the Duration Calculus: Internaitonal Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures

Domain Modeling and the Duration Calculus: Internaitonal Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures

by Jim Woodcock (Editor), Chris George (Editor), Zhiming Liu (Editor)
Paperback - October 2007
List price: $59.95
Compare Prices
Mathematical Frameworks for Component Software: Models for Analysis and Synthesis

Mathematical Frameworks for Component Software: Models for Analysis and Synthesis

by He Jifeng (Editor), Zhiming Liu (Editor)
Hardcover - March 2007
List price: $119.00
Compare Prices
Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, Icfem 2006, Macao, China, November 1-3, 2006, Proceedings

Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, Icfem 2006, Macao, China, November 1-3, 2006, Proceedings

by Jifeng He (Editor), Zhiming Liu (Editor)
Paperback - January 2007
List price: $129.00
Compare Prices
Theoretical Aspects of Computing--ICTAC 2004: First International Colloquium Guiyand, China, September 20-24, 2004

Theoretical Aspects of Computing--ICTAC 2004: First International Colloquium Guiyand, China, September 20-24, 2004

by Keijiro Araki (Editor), Zhiming Liu (Editor)
Paperback - May 2005
List price: $104.00
Compare Prices
7 Titles Showing 1 - 7

Search by:
Page Execution took 0.0135 seconds