Formal hardware verification : methods and systems in comparison

Author(s)

• Kropf, Thomas

Bibliographic Information

Formal hardware verification : methods and systems in comparison

Thomas Kropf (ed.)

（Lecture notes in computer science, 1287）

Springer, c1997

Note

Includes bibliographical references (p. [349]-367)

Details

• NCID: BA32157822
• ISBN:
  • 3540634754
• LCCN: 97036126
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin
• Pages/Volumes: xii, 367 p.
• Size: 24 cm
• Subject Headings:
  • LCSH : Integrated circuits -- Very large scale integration -- Design and construction -- Data processing
  • LCSH : Integrated circuits -- Verification
  • FREE : LCSH;Computer-aided design
• Parent Bibliography ID:
  • BA00009279