//]]>
Unifying Theories of Programming and Formal Engineering Methods by Liu, Zhiming. Publication: . XII, 283 p. 50 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theoretical Aspects of Computing – ICTAC 2013 by Liu, Zhiming. Publication: . XII, 445 p. 100 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theories of Programming and Formal Methods by Liu, Zhiming. Publication: . XII, 413 p. 86 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Foundations of Health Informatics Engineering and Systems by Liu, Zhiming. Publication: . X, 225 p. 58 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart