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

Author(s)

• IFIP TC5/WG5.2 Workshop on Formal Design Methods for CAD
• Gero, John S. (John Steven)
• Tyugu, Ė. Kh. (Ėnn Kharalʹdovich)

Bibliographic Information

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

edited by John S. Gero, Enn Tyugu

（IFIP transactions, B . Applications in technology ; 18）

Elsevier, 1994

Note

Includes bibliographical references and index

Details

• NCID: BA23702000
• ISBN:
  • 0444819703
• LCCN: 94041246
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Amsterdam ; New York
• Pages/Volumes: viii, 362 p.
• Size: 23 cm
• Classification:
  • LCC : TA174
  • DC20 : 620/.0042/0285
• Subject Headings:
  • LCSH : Computer-aided design -- Congresses
• Parent Bibliography ID:
  • BA13962399