Computer-aided specification techniques

著者

• Demetrovics, János
• Knuth, Előd
• Radó, Péter

書誌事項

Computer-aided specification techniques

János Demetrovics, Előd Knuth, Péter Radó

（Series in computer science, vol. 1）

World Scientific, c1985

• : pbk

詳細情報

• NII書誌ID(NCID): BA00187244
• ISBN:
  • 9971978539
  • 9971500957
• LCCN: 85031535
• 出版国コード: si
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Singapore ; Philadelphia
• ページ数/冊数: ix, 114 p.
• 大きさ: 24cm
• 分類:
  • LCC : QA76.9.S88
  • DC19 : 004.2/1
• 件名:
  • LCSH : System design
  • LCSH : Computer-aided design
• 親書誌ID:
  • BA00185577