Decision procedures: An algorithmic point of view
By: Kroening, D.
Material type: BookSeries: Texts in Theoretical Computer Science.Publisher: Berlin Springer 2008Description: xvi, 304p.ISBN: 978-3-540-74104-6.Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
004.01156 KRO (Browse shelf) | Available | 507456 |
There are no comments for this item.