PakCat catalogue record

Constraint-based verification

By Yuan, Jun

Bibliographic details

ISBN
0387259473
Publisher
Springer
Publication place
New York
Publication year
2006
Language
English
Physical description
xii, 253 p.

Additional authors

Carl Pixley Adnan Aziz

Subjects

Constraints (Artificial intelligence), Digital electronics - Testing, Electronic systems - Testing, Electronic systems - Design and construction