Logic and software engineering
Subtitle: international workshop in honor of Chih-Sung Tang : Beijing, 14-15 August 1995
By: editors, A. Pnueli, H. Lin.
Contributors: Tang, Chih-Sung, 1925-; Pnueli, A.; Lin, H.
Publisher: World Scientific
Published: 1996
Place of publication: Singapore; New Jersey
Language: eng
Number of pages: 311
Subjects: Software engineering -- Congresses.; Logic, Symbolic and mathematical -- Congresses.
Notes: Includes bibliographical references.