01625cam a22003617i 4500 18970414 OSt 20260218115806.0 160210q2016 flu 000 0 eng 2016285033 9781498726702 (hardback ; alk. paper) 18970414 DLC eng rda DLC DLC MLCM 2019/43901 (Q) Hobbs, Chris (Christopher W.), author. Embedded software development for safety-critical systems / Chris Hobbs. Boca Raton CRC Press, [2016] xx, 343 pages : illustrations ; 24 cm text txt rdacontent unmediated n rdamedia volume nc rdacarrier Minimal Level Cataloging Plus. DLC Includes bibliographical references and index. Section 1. Background -- section 2. The project -- section 3. Design patterns -- section 4. Design validation -- section 5. Coding -- section 6. Verification -- section 7. Appendices. Embedded computer systems Programming http://id.loc.gov/authorities/subjects/sh87006633 System safety Data processing Computer software Reliability http://id.loc.gov/authorities/subjects/sh2008117728 Computer software Development http://id.loc.gov/authorities/subjects/sh85029535 Safety appliances Data processing 7 cbc orignew 4 ncip 20 y-gencatlg lcc AFR 22073 22073 0 0 lcc 0 0 001 001 2026-02-18 purchase 0 MLCM 2019/43901 (Q) 2026-0123 2026-02-18 11:58:42 1 2026-02-18 MON