//]]>
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
Service-Oriented Computing - ICSOC 2012 Workshops by Ghose, Aditya. Publication: . XVI, 466 p. 153 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods and Software Engineering by Dong, Jin Song. Publication: . XIV, 712p. 202 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart