MODEL CHECKING
By: CLARKE ,E.M. & OTHERS.
Material type:
BookPublisher: Cambridge MIT Press 1999Description: xiv+314p.,23X18Cms.ISBN: 0262032708.DDC classification: 621.38195 C597
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Books
|
CENTRAL LIBRARY | 621.38195 C597 (Browse shelf) | Available | 078231 |
Browsing CENTRAL LIBRARY Shelves Close shelf browser
| No cover image available | No cover image available |
|
|
No cover image available | No cover image available |
|
||
| 621.38195 C549 FORTRAN IV PROGRAMMING | 621.38195 C549F Fortran Iv Programming | 621.38195 C592 FASTER SMARTER PCs: TAKE CHARGE OF YOUR COMPUTER FASTER,SMARTER,BETTER | 621.38195 C597 MODEL CHECKING | 621.38195 C6231 INTRODUCTION TO DATA TYPES | 621.38195 C626 PRINCIPLES OF COMPUTER HARDWARE | 621.38195 C652 OBJECT ORIENTED ANALYSIS |
There are no comments for this item.