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.
Description
Physical Description:xii, 253 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references (pages [231]-246) and index.
ISBN:0387259473