DECISION PROCEDURES : ALGORITHMIC POINT OF VIEW
By: KROENING, D.
Material type: BookPublisher: VERLIN Springer 2008Description: xvi+304p.,24x15Cms.ISBN: 3540741046.DDC classification: 621.38195 K93Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | CENTRAL LIBRARY | 621.38195 K93 (Browse shelf) | Available | 084491 |
There are no comments for this item.