Temporal logic for real time systems (Record no. 6245)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 00273nam a2200109 4500 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 160616s 000 0 |
245 ## - TITLE STATEMENT | |
Title | Temporal logic for real time systems |
100 ## - MAIN ENTRY--AUTHOR NAME | |
Personal name | Ostroff, Jonathan S |
500 ## - GENERAL NOTE | |
General note | D6,8(B) M915 |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Koha item type | BOOKS |
080 ## - UNIVERSAL DECIMAL CLASSIFICATION NUMBER | |
Universal Decimal Classification number | 510.6 OST |
Withdrawn status | Lost status | Damaged status | Not for loan | Home library | Current library | Shelving location | Full call number | Accession Number | Koha item type |
---|---|---|---|---|---|---|---|---|---|
IMSc Library | IMSc Library | First Floor, Rack No: 28, Shelf No: 7 | 510.6 OST | 28013 | BOOKS |