TTheoretical Aspects of Computing - ICTAC 2004Theoretical Aspects of Computing - ICTAC 2004de Zhiming Liu, Keijiro ArakiEdiciones (1)Theoretical Aspects of Computing - ICTAC 2004 (2005)Springer London, Limited · inglés · ISBN 9783540318620Más obras de Zhiming LiuFormal methods and software engineeringFoundations of Health Informatics Engineering and Systems