Cover Image

Current trends in hardware verification and automated theorem proving /

Show other versions (1)
Bibliographic Details
Other Authors: Birtwistle, G. M. (Graham M.), Subrahmanyam, P. A.
Format: Book
Language:English
Published: New York : Springer-Verlag, [1989]
Subjects:
Integrated circuits > Very large scale integration > Design and construction.
Automatic theorem proving.
Show all versions (2)