Constraint-based verification
By: Yuan, Jun.
Contributor(s): Aziz, Adnan | Pixley, Carl.
Material type:
BookPublisher: New York: Springer, 2006Description: vii, 253 p.; ill.: 24 cm.ISBN: 0387259473 .Subject(s): Constraints - Artificial intelligence | Digital electronics -Testing | Electronic systems | Design and construction | Boolean algebraDDC classification: 005.115
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 005.115 YUA (Browse shelf) | Available | 013953 |
There are no comments for this item.