Cover Image

Introduction to formal hardware verification /

Show other versions (1)
Bibliographic Details
Main Author: Kropf, Thomas, 1961-
Format: Book
Language:English
Published: Berlin ; New York : Springer, [1999]
Subjects:
Integrated circuits > Very large scale integration > Computer-aided design.
Integrated circuits > Verification.

Evans: Library Stacks

Holdings details from Evans: Library Stacks
Call Number: TK7874.75 .K76 1999
 
Call Number Status Get It
TK7874.75 .K76 1999 Available