Search Type
  • All
  • Subject
  • Title
  • Author
  • Publisher
  • Series Title
Search Title

Zhiming Liu

Zhiming Liu is the author of "Theories of Programming and Formal Methods", "Formal Methods and Hybrid Real-Time Systems", "Unifying Theories of Programming and Formal Engineering Methods" and "Formal Aspects of Component Software".

Books by Zhiming Liu
Research on Inter...
Liu, ZhiMing
Paperback: $6.99
Theoretical Aspec...
Liu Zhiming
Electronic book text: $149.00
Formal Methods an...
Liu, Zhiming
Paperback:
Unifying Theories...
Liu Zhiming
Paperback: $54.99