My Wish Lists Login / Join

Results for author 'Zhiming Liu'

Refine Your Results

subjects

Computing & I.T.

9

Mathematics

5

Reference, Information & Interdisciplinary Subjects

1

Science

5

lists

All Books

9

availability

All Books

9

price

$50 - $100

2

Over $100

7

formats

Paperbacks

9

Language

Sort By:

Booktopia Recommends

Bestsellers

Price Low to High

Price High to Low

Most Recently Published

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

Formal Methods and Hybrid Real-Time Systems

Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

Cliff B. Jones, Zhiming Liu and Jim Woodcock

Paperback

$101.07

Theoretical Aspects of Computing - Ictac 2007 : 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings - Cliff B. Jones

Theoretical Aspects of Computing - Ictac 2007

4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings

Cliff B. Jones, Zhiming Liu and Jones Woodcock

Paperback

$101.07

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

Domain Modeling and the Duration Calculus

International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures

Chris George, Zhiming Liu and Jim Woodcock

Paperback

$95.45

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

Automated Technology for Verification and Analysis

7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings

Zhiming Liu and Anders P. Ravn

Paperback

$101.07

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

Engineering Trustworthy Software Systems

First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

Zhiming Liu and Zili Zhang

Paperback

$101.07

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

Theories of Programming and Formal Methods

Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Zhiming Liu, Jim Woodcock and Huibiao Zhu

Paperback

$95.46

Unifying Theories of Programming and Formal Engineering Methods : International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures - Zhiming Liu

Unifying Theories of Programming and Formal Engineering Methods

International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Zhiming Liu, Jim Woodcock and Huibiao Zhu

Paperback

$101.07

Theoretical Aspects of Computing - ICTAC 2004 : First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers - Zhiming Liu

Theoretical Aspects of Computing - ICTAC 2004

First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers

Zhiming Liu and Keijiro Araki

Paperback

$176.90

Engineering Trustworthy Software Systems : 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures - Jonathan P. Bowen

Engineering Trustworthy Software Systems

4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures

Jonathan P. Bowen, Zhiming Liu and Zili Zhang

Paperback

$108.63

9 Results