Decision procedures : an algorithmic point of view
By: Kroening, Daniel.
Contributor(s): Strichman, Ofer.
Material type:
BookSeries: Texts in theoretical computer science.Publisher: Berlin: Springer, 2008Description: xvi, 304 p.; ill.: 24 cm.ISBN: 9783540741046 .Subject(s): Computer science | Decision making -- Mathematical models | Information theory | Logic design | Software engineeringDDC classification: 518.1
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 518.1 KRO (Browse shelf) | Available | 021035 | ||
| Books | 518.1 KRO (Browse shelf) | Available | 020584 |
There are no comments for this item.