Current trends in hardware verification and automated theorem proving /

Current trends in hardware verification and automated theorem proving /

Saved in:
Bibliographic Details
Other Authors: Birtwistle, G. M. (Graham M.), Subrahmanyam, P. A.
Format: Book
Language:English
Published: New York : Springer-Verlag, c1989.
Subjects:
Integrated circuits > Very large scale integration > Design and construction.
Automatic theorem proving.
Description
Physical Description:viii, 489 p. : ill. ; 25 cm.
Bibliography:Includes bibliographical references and index.
ISBN:0387969888 (alk. paper)
3540969888

Similar Items