Theoretical aspects of computer software
Subtitle: International Conference, TACS'91, Sendai, Japan, September 24-27, 1991 : proceedings
By: T. Ito, A.R. Meyer (eds.).
Contributors: Itō, T. 1940-; Meyer, Albert R.
Series: Lecture notes in computer science ;; 526
Publisher: Springer-Verlag
Published: 1991
Place of publication: Berlin; New York
Language: eng
Number of pages: 770
Subjects: Computer software -- Congresses
Notes: Includes bibliographical references and index.