Formal specification and verification in VLSI design

Author(s)

• Davie, Bruce S.

Bibliographic Information

Formal specification and verification in VLSI design

Bruce S. Davie

（Edinburgh information technology series, 8）

Edinburgh University Press, c1990

Note

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

Details

• NCID: BA12194779
• ISBN:
  • 0748601597
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Edinburgh
• Pages/Volumes: ix, 195 p.
• Size: 23 cm
• Classification:
  • LCC : TK7888.3
  • DC20 : 621.392
• Subject Headings:
  • PRECIS : Computers. Design. Applications of computer systems. Description languages
  • LCSH : Electronic digital computers -- Design and construction -- Data processing
• Parent Bibliography ID:
  • BA00605912