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

Author(s)

• IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design
• Gero, John S. (John Steven)
• Sudweeks, Fay
• IFIP WG 5.2

Bibliographic Information

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

edited by John S. Gero and Fay Sudweeks (associate editor)

Chapman & Hall, on behalf of the International Federation for Information Processing, 1996

Note

Includes index

Details

• NCID: BA27971026
• ISBN:
  • 0412727102
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: London
• Pages/Volumes: vi,298p
• Size: 24cm
• Classification:
  • DC20 : 620.00420285
• Subject Headings:
  • LCSH : Computer-aided design -- Congresses