Constraint-based verification

Author(s)

• Yuan, Jun
• Pixley, Carl
• Aziz, Adnan

Bibliographic Information

Constraint-based verification

Jun Yuan, Carl Pixley, Adnan Aziz

Springer, c2006

Note

Includes bibliographical references (p. [231]-246) and index

HTTP:URL=http://www.loc.gov/catdir/enhancements/fy0663/2005936518-d.html Information=Publisher description

Details

• NCID: BA79130659
• ISBN:
  • 9780387259475
• LCCN: 2005936518
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: New York, NY
• Pages/Volumes: xii, 253 p.
• Size: 25 cm
• Classification:
  • LCC : Q340
  • DC22 : 005.115
• Subject Headings:
  • LCSH : Constraints (Artificial intelligence)
  • LCSH : Digital electronics -- Testing
  • LCSH : Electronic systems -- Testing
  • LCSH : Electronic systems -- Design and construction