Cover Image

Constraint-based verification /

Show other versions (1)
Bibliographic Details
Main Author: Yuan, Jun
Other Authors: Pixley, Carl, Aziz, Adnan
Format: Book
Language:English
Published: New York, NY : Springer, [2006]
Subjects:
Constraints (Artificial intelligence)
Digital electronics > Testing.
Electronic systems > Testing.
Electronic systems > Design and construction.

Evans: Library Stacks

Holdings details from Evans: Library Stacks
Call Number: Q340 .Y83 2006
 
Call Number Status Get It
Q340 .Y83 2006 Available