Cover Image

Current Trends in Hardware Verification and Automated Theorem Proving /

Show other versions (1)
Bibliographic Details
Main Author: Birtwistle, G. M. (Graham M.)
Corporate Author: SpringerLink (Online service)
Other Authors: Subrahmanyam, P. A.
Format: eBook
Language:English
Published: New York, NY : Springer New York, 1989.
Subjects:
Engineering.
Electronics.
Electronic books.
Online Access:Connect to the full text of this electronic book
Description
Item Description:Electronic resource.
Physical Description:1 online resource (x, 489 pages 95 illustrations)
ISBN:9781461236580 (electronic bk.)
1461236584 (electronic bk.)