Current trends in hardware verification and automated theorem proving

Author(s)

• Subrahmanyam, P. A.
• Birtwistle, G. M. (Graham M.)

Bibliographic Information

Current trends in hardware verification and automated theorem proving

G. Birtwistle, P.A. Subrahmanyam, editors

Springer-Verlag, c1989

• : u.s.
• : g.w.

Note

Includes index

Details

• NCID: BA07099994
• ISBN:
  • 0387969888
  • 3540969888
• LCCN: 89006049
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: New York ; Tokyo
• Pages/Volumes: viii, 489 p.
• Size: 24 cm
• Classification:
  • LCC : TK7874
  • DC19 : 621.395
• Subject Headings:
  • LCSH : Integrated circuits -- Very large scale integration -- Design and construction
  • LCSH : Automatic theorem proving