Path-oriented program analysis / (Record no. 23818)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01025cam a22002535a 4500 |
| 001 - CONTROL NUMBER | |
| control field | 14901673 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20170103145227.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 070625s2008 enka frb f001 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9780521882866 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 0521882869 |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | DLC |
| Transcribing agency | DLC |
| Modifying agency | BTCTA |
| -- | BAKER |
| -- | YDXCP |
| -- | C#P |
| -- | DLC |
| -- | EG-ScBUE |
| Language of cataloging | eng |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Edition number | 22 |
| Classification number | 005.1 |
| Item number | HUA |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Huang, J. C., |
| Dates associated with a name | 1935- |
| 245 10 - TITLE STATEMENT | |
| Title | Path-oriented program analysis / |
| Statement of responsibility, etc | J. C. Huang. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication, distribution, etc | Cambridge ; |
| -- | New York : |
| Name of publisher, distributor, etc | Cambridge University Press, |
| Date of publication, distribution, etc | 2008. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | xii, 196 p. : |
| Other physical details | ill. ; |
| Dimensions | 24 cm. |
| 500 ## - GENERAL NOTE | |
| General note | Index : p. 194-196. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc | Bibliography : p. 191-193. |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | State constraints -- Subprogram simplification -- Program set -- Pathwise decomposition -- Tautological constraints -- Program recomposition -- Discussion -- Automatic generation of symbolic traces. |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer software |
| General subdivision | Development. |
| Source of heading or term | BUEsh |
| 9 (RLIN) | 11535 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer software |
| General subdivision | Development |
| -- | Computer programs. |
| Source of heading or term | BUEsh |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Resource For college | Informatics and Computer Science |
| Arrived date list | January2017 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Dewey Decimal Classification |
| 952 ## - LOCATION AND ITEM INFORMATION (KOHA) | |
| -- | 2017-01-03 |
| Withdrawn status | Item status | Source of classification or shelving scheme | Damaged status | Not for loan | Vendor | Home library | Current library | Shelving location | Date acquired | Source of acquisition | Cost, normal purchase price | Serial Enumeration / chronology | Total Checkouts | Full call number | Barcode | Date last seen | Cost, replacement price | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dewey Decimal Classification | Scientific home BookShop | Central Library | Central Library | Lower Floor | 03/01/2017 | Purchase | 480.00 | 2691 | 005.1 HUA | 000040736 | 12/02/2024 | 1050.00 | Book - Borrowing |