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.
Description
Physical Description:viii, 489 pages : illustrations ; 25 cm.
Bibliography:Includes bibliographical references and index.
ISBN:0387969888 (alk. paper)