Cover Image

Formal design methods for CAD : proceedings of the IFIP TC5/WG5.2 Workshop on Formal Design Methods for CAD, Tallinn, Estonia, 16-19 June 1994 /

Bibliographic Details
Corporate Author: IFIP TC5/WG5.2 Workshop on Formal Design Methods for CAD Tallinn, Estonia
Other Authors: Gero, John S., Tõugu, Enn, 1935-
Format: Conference Proceeding Book
Language:English
Published: Amsterdam ; New York : Elsevier, 1994.
Series:IFIP transactions. Applications in technology. B-18.
Subjects:
Computer-aided design > Congresses.
Description
Physical Description:viii, 362 pages : illustrations ; 23 cm.
Bibliography:Includes bibliographical references and index.
ISBN:0444819703
ISSN:0926-5481 ;