An Introduction toPractical Formal Methods Using Temporal Logic (Record no. 23470)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00266nam a22000857a 4500 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 131101b xxu||||| |||| 00| 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9780470027882 |
| Terms of availability | Available |
| 050 ## - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | 511.3FIS |
| 245 ## - TITLE STATEMENT | |
| Title | An Introduction toPractical Formal Methods Using Temporal Logic |
| Statement of responsibility, etc. | Fisher Michael |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Permanent Location | Current Location | Shelving location | Date acquired | Total Checkouts | Barcode | Date last seen | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Central Library (CL) | Central Library (CL) | General Stacks | 11/01/2013 | RCMS002247 | 11/01/2013 | 11/01/2013 | Book |