Formal design methods for CAD
Subtitle: proceedings of the IFIP TC5/WG5.2 Workshop on Formal Design Methods for CAD, Tallinn, Estonia, 16-19 June 194
By: edited by John S. Gero, Enn Tyugu.
Contributors: Gero, John S.; Tyugu, Ė. Kh. 1935-
Series: IFIP transactions.; B-18
Publisher: Elsevier
Published: 1994
Place of publication: Amsterdam; New York
Language: eng
Number of pages: 362
Subjects: Computer-aided design -- Congresses.
Notes: Includes bibliographical references and index.