Cover Image

Constraint-based verification /

Show other versions (1)
Bibliographic Details
Main Author: Yuan, Jun
Corporate Author: SpringerLink (Online service)
Other Authors: Aziz, Adnan, Pixley, Carl
Format: eBook
Language:English
Published: New York, NY : Springer, [2006]
Subjects:
Constraints (Artificial intelligence)
Digital electronics > Testing.
Electronic systems > Design and construction.
Electronic systems > Testing.
Contraintes (Intelligence artificielle)
Électronique > Conception.
Électronique > Inspection.
Systèmes électroniques > Conception et construction.
Systèmes électroniques > Inspection.
Electronic books.
Online Access:Connect to the full text of this electronic book
Publisher description
Description
Item Description:Electronic resource.
Physical Description:xii, 253 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references (pages [231]-246) and index.
ISBN:0387307842
9780387307848
DOI:10.1007/0-387-30784-2