Decision procedures: An algorithmic point of view. 2nd. Edition.
By: Kroening, D.
Contributor(s): Strichman, O.
Material type: BookPublisher: Berlin Springer 2016Description: xxi, 356p.ISBN: 9783662504963.Subject(s): Decision Theory | MathematicsItem type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
519.542 KRO (Browse shelf) | Available | 513975 |
There are no comments for this item.