Logic and software engineering : international workshop in honor of Chih-Sung Tang : Beijing, 14-15 August 1995 /

Logic and software engineering : international workshop in honor of Chih-Sung Tang : Beijing, 14-15 August 1995 /

Saved in:
Bibliographic Details
Other Authors: Pnueli, A., Tang, Chih-Sung, 1925-, Lin, H. (Huimin)
Format: Book
Language:English
Published: Singapore ; New Jersey : World Scientific, c1996.
Subjects:
Software engineering > Congresses.
Logic, Symbolic and mathematical > Congresses.
Description
Physical Description:viii, 311 p. : ill. ; 23 cm.
Bibliography:Includes bibliographical references.
ISBN:981022804X

Similar Items