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
Search Result 1
Cover Image
by Yuan, Jun
Published 2006
Book
Show all versions (2)