Advanced formal verification

Author(s)

• Drechsler, Rolf

Bibliographic Information

Advanced formal verification

edited by Rolf Drechsler

Kluwer Academic Publishers, 2004

Note

Includes bibliographical references and index

Details

• NCID: BA6592444X
• ISBN:
  • 1402077211
• LCCN: 2003064115
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Boston
• Pages/Volumes: xxv, 249 p.
• Size: 25 cm
• Classification:
  • LCC : TK7867
  • DC22 : 621.3815/48
• Subject Headings:
  • LCSH : Electronic circuits -- Testing
  • LCSH : Decision trees