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