AUTOMATED THEOREM PROVING IN SOFTWARE ENGINEERING
By: SCHUMANN, J.M.
Material type:
BookPublisher: NEW YORK Springer 2001Description: xiv+228p.,24X16Cms.ISBN: 3540679898.DDC classification: 621.3819642 S392
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Books
|
CENTRAL LIBRARY | 621.3819642 S392 (Browse shelf) | Available | 073090 |
There are no comments for this item.