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

著者

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

書誌事項

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

注記

Includes bibliographical references and index

詳細情報

• NII書誌ID(NCID): BA23702000
• ISBN:
  • 0444819703
• LCCN: 94041246
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Amsterdam ; New York
• ページ数/冊数: viii, 362 p.
• 大きさ: 23 cm
• 分類:
  • LCC : TA174
  • DC20 : 620/.0042/0285
• 件名:
  • LCSH : Computer-aided design -- Congresses
• 親書誌ID:
  • BA13962399