Formal specification and verification in VLSI design

著者

• Davie, Bruce S.

書誌事項

Formal specification and verification in VLSI design

Bruce S. Davie

（Edinburgh information technology series, 8）

Edinburgh University Press, c1990

注記

Includes bibliographical references (p. 184-193) and index

詳細情報

• NII書誌ID(NCID): BA12194779
• ISBN:
  • 0748601597
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Edinburgh
• ページ数/冊数: ix, 195 p.
• 大きさ: 23 cm
• 分類:
  • LCC : TK7888.3
  • DC20 : 621.392
• 件名:
  • PRECIS : Computers. Design. Applications of computer systems. Description languages
  • LCSH : Electronic digital computers -- Design and construction -- Data processing
• 親書誌ID:
  • BA00605912