Selected papers of the Conference on Theoretical Aspects of Computer Software (TACS '91), 24-27 September 1991, Sendai, Japan
By: guest editors: K.R. Apt, M. Hagiya.
Contributors: Apt, Krzysztof R.; Hagiya, Masami, 1957-; International Conference on Theoretical Aspects of Computer Software (1991 : Sendai, Japan)
Series: Science of computer programming -- vol.21 (2)
Publisher: Elsevier
Published: 1993
Place of publication: Amsterdam; London
Language: eng