Embedded software development for safety-critical systems / (Record no. 22073)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01625cam a22003617i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 18970414 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | OSt |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20260218115806.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 160210q2016 flu 000 0 eng |
| 010 ## - LIBRARY OF CONGRESS CONTROL NUMBER | |
| LC control number | 2016285033 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781498726702 |
| Qualifying information | (hardback ; |
| -- | alk. paper) |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | 18970414 |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | DLC |
| Language of cataloging | eng |
| Description conventions | rda |
| Transcribing agency | DLC |
| Modifying agency | DLC |
| 050 00 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | MLCM 2019/43901 (Q) |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Hobbs, Chris |
| Fuller form of name | (Christopher W.), |
| Relator term | author. |
| 245 10 - TITLE STATEMENT | |
| Title | Embedded software development for safety-critical systems / |
| Statement of responsibility, etc. | Chris Hobbs. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
| Place of production, publication, distribution, manufacture | Boca Raton |
| Name of producer, publisher, distributor, manufacturer | CRC Press, |
| Date of production, publication, distribution, manufacture, or copyright notice | [2016] |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | xx, 343 pages : |
| Other physical details | illustrations ; |
| Dimensions | 24 cm |
| 336 ## - CONTENT TYPE | |
| Content type term | text |
| Content type code | txt |
| Source | rdacontent |
| 337 ## - MEDIA TYPE | |
| Media type term | unmediated |
| Media type code | n |
| Source | rdamedia |
| 338 ## - CARRIER TYPE | |
| Carrier type term | volume |
| Carrier type code | nc |
| Source | rdacarrier |
| 500 ## - GENERAL NOTE | |
| General note | Minimal Level Cataloging Plus. |
| Institution to which field applies | DLC |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc | Includes bibliographical references and index. |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Section 1. Background -- section 2. The project -- section 3. Design patterns -- section 4. Design validation -- section 5. Coding -- section 6. Verification -- section 7. Appendices. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Embedded computer systems |
| General subdivision | Programming |
| Authority record control number | http://id.loc.gov/authorities/subjects/sh87006633 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | System safety |
| General subdivision | Data processing |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer software |
| General subdivision | Reliability |
| Authority record control number | http://id.loc.gov/authorities/subjects/sh2008117728 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer software |
| General subdivision | Development |
| Authority record control number | http://id.loc.gov/authorities/subjects/sh85029535 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Safety appliances |
| General subdivision | Data processing |
| 906 ## - LOCAL DATA ELEMENT F, LDF (RLIN) | |
| a | 7 |
| b | cbc |
| c | orignew |
| d | 4 |
| e | ncip |
| f | 20 |
| g | y-gencatlg |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Library of Congress Classification |
| Koha item type | Africana |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Home library | Current library | Date acquired | Source of acquisition | Total Checkouts | Full call number | Barcode | Date last seen | Copy number | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Library of Congress Classification | Karen | Karen | 18/02/2026 | purchase | MLCM 2019/43901 (Q) | 2026-0123 | 18/02/2026 | 1 | 18/02/2026 | Book |