Formal methods fact file : (Record no. 21982)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00635nam a2200193 4500 |
| 001 - CONTROL NUMBER | |
| control field | vtls000004398 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | KUKTEM |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20251117142058.0 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 0471958573 |
| 039 #9 - LEVEL OF BIBLIOGRAPHIC CONTROL AND CODING DETAIL [OBSOLETE] | |
| Level of rules in bibliographic description | 201904261525 |
| Level of effort used to assign nonsubject heading access points | AUTHORITY |
| Level of effort used to assign subject headings | 201904261525 |
| Level of effort used to assign classification | AUTHORITY |
| Level of effort used to assign subject headings | 201107131658 |
| Level of effort used to assign classification | VLOAD |
| Level of effort used to assign subject headings | 200908141023 |
| Level of effort used to assign classification | VLOAD |
| -- | 200606141118 |
| -- | VLOAD |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | UMP |
| 090 ## - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (RLIN) | |
| Classification number (OCLC) (R) ; Classification number, CALL (RLIN) (NR) | QA76.76.D47 H376 1996 |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Harry, Andrew |
| 245 00 - TITLE STATEMENT | |
| Title | Formal methods fact file : |
| Remainder of title | VDM and Z / |
| Statement of responsibility, etc. | Harry Andrew |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Chichester: |
| Name of publisher, distributor, etc. | John Wiley & Sons, |
| Date of publication, distribution, etc. | 1996 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | xv, 386 p.: |
| Other physical details | ill.; |
| Dimensions | 23 cm. |
| 500 ## - GENERAL NOTE | |
| General note | Includes glossary and index |
| 650 00 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer software |
| General subdivision | Development |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Home library | Current library | Date acquired | Cost, normal purchase price | Total checkouts | Total renewals | Full call number | Barcode | Date last seen | Date last checked out | Cost, replacement price | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Not lost | Library of Congress Classification | UMPLIB PEKAN | UMPLIB PEKAN | 04/09/2019 | 56.68 | 1 | 2 | QA76.76.D47 H376 1996 | 0000001257 | 19/11/2019 | 25/09/2019 | 56.68 | 04/09/2019 | Open Shelf |