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.

CARM 1 Store

Holdings details from CARM 1 Store
Call Number: A2:AG38H0 C08261
Copy 1 Available  Place a Hold

Similar Items