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

著者

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

書誌事項

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

注記

Includes index

詳細情報

• NII書誌ID(NCID): BA27971026
• ISBN:
  • 0412727102
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: London
• ページ数/冊数: vi,298p
• 大きさ: 24cm
• 分類:
  • DC20 : 620.00420285
• 件名:
  • LCSH : Computer-aided design -- Congresses