Concepts, algorithms and tools for model checking - (E-BOOK) (Record no. 191571)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00552 a2200133 4500 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | Nust |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20170207154019.0 |
| 040 ## - CATALOGING SOURCE | |
| Transcribing agency | Nust |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 005.52 |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Katoen, Joost-Pieter |
| 245 ## - TITLE STATEMENT | |
| Title | Concepts, algorithms and tools for model checking - (E-BOOK) |
| Statement of responsibility, etc. | Joost-Pieter Katoen |
| 505 ## - FORMATTED CONTENTS NOTE | |
| Formatted contents note | System Validation (page-15 ),Model Checking Linear Temporal Logic (page-),47 Model Checking Branching Temporal Logic (page-127),Model Checking Real-Time Temporal Logic(page-189), A Survey of State-Space Reduction Techniques (page-257), |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | E-BOOK |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | |
| Koha item type | Book |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Collection code | Permanent Location | Current Location | Date acquired | Total Checkouts | Full call number | Barcode | Date last seen | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Military College of Signals (MCS) | Military College of Signals (MCS) | 12/12/2016 | 005.52 KAT | MCSEB-851 | 12/08/2016 | 12/12/2016 | Book |