SYSTEMS AND SOFTWARE VERIFICATION:MODEL-CHECKING TECHNIQUIES AND TOOLS
By: BERARD,B. & OTHERS.
Material type:
BookPublisher: BERLIN Springer 2001Description: xii+190p.,24X15Cms.ISBN: 3540415238.DDC classification: 621.3819642 B482
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Books
|
CENTRAL LIBRARY | 621.3819642 B482 (Browse shelf) | Available | 078577 |
There are no comments for this item.