For Publishers
All
Subject
Title
Author
Publisher
Series Title
All
Subject
Title
Author
Publisher
Series 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
View more
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