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 |
Browsing CENTRAL LIBRARY Shelves Close shelf browser
|
|
No cover image available |
|
No cover image available | No cover image available | No cover image available | ||
| 621.3819642 B458 ORACLE 9i XML HANDBOOK (WITH CD) | 621.3819642 B471 PROGRAMMING WITH ORACLE DEVELOPER | 621.3819642 B475 COLLABORATIVE ENTERPRISE ARCHITECTURE: ENRICHING EA WITH LEAN, AGILE AND ENTERPR | 621.3819642 B482 SYSTEMS AND SOFTWARE VERIFICATION:MODEL-CHECKING TECHNIQUIES AND TOOLS | 621.3819642 B493 FORMAL METHODS OF PROGRAM VERIFICATION AND SPECIFICATION | 621.3819642 B496 AUTOMATING WITH STEP-7 IN STL AND SCL:PROGRAMMABLE CONTROLLER SIMATIC S7-300/400 | 621.3819642 B512 LISP LANGUAGE OF ARTIFICIAL INTELLIGENCE |
There are no comments for this item.