Cover Image

Advances in formal design methods for CAD : proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995 /

Show other versions (1)
Bibliographic Details
Corporate Authors: IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design Mexico City, Mexico, International Federation for Information Processing
Other Authors: Gero, John S. (John Steven), 1943-, Sudweeks, Fay
Format: Conference Proceeding Book
Language:English
Published: London ; New York : Chapman & Hall, on behalf of the International Federation for Information Processing, 1996.
Edition:1st ed.
Subjects:
Computer-aided design > Congresses.
Engineering > Design > Use of > Computers
Description
Physical Description:vi, 298 pages : illustrations ; 25 cm.
Bibliography:Includes bibliographical references and author index.
ISBN:0412727102 :