Logic and Software Engineering - Hardcover

Lin, H.; Pnueli, A.

 
9789810228040: Logic and Software Engineering
Hardcover
ISBN 10: 981022804X ISBN 13: 9789810228040
Publisher: World Scientific Pub Co Inc, 1996

Synopsis

Proceedings of the International Workshop in Honor of Chih-Sung Tang held in Beijing, China from August 14-15, 1995.

"synopsis" may belong to another edition of this title.

Publisher
World Scientific Pub Co Inc
Publication date
1996
Language
English
ISBN 10 
981022804X
ISBN 13 
9789810228040
Binding
Hardcover
Edition number
1
Number of pages
320