000 01625cam a22003617i 4500
001 18970414
003 OSt
005 20260218115806.0
008 160210q2016 flu 000 0 eng
010 _a 2016285033
020 _a9781498726702
_q(hardback ;
_qalk. paper)
035 _a18970414
040 _aDLC
_beng
_erda
_cDLC
_dDLC
050 0 0 _aMLCM 2019/43901 (Q)
100 1 _aHobbs, Chris
_q(Christopher W.),
_eauthor.
245 1 0 _aEmbedded software development for safety-critical systems /
_cChris Hobbs.
264 1 _aBoca Raton
_bCRC Press,
_c[2016]
300 _axx, 343 pages :
_billustrations ;
_c24 cm
336 _atext
_btxt
_2rdacontent
337 _aunmediated
_bn
_2rdamedia
338 _avolume
_bnc
_2rdacarrier
500 _aMinimal Level Cataloging Plus.
_5DLC
504 _aIncludes bibliographical references and index.
505 0 _aSection 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 _aEmbedded computer systems
_xProgramming
_0http://id.loc.gov/authorities/subjects/sh87006633
650 0 _aSystem safety
_xData processing
650 0 _aComputer software
_xReliability
_0http://id.loc.gov/authorities/subjects/sh2008117728
650 0 _aComputer software
_xDevelopment
_0http://id.loc.gov/authorities/subjects/sh85029535
650 0 _aSafety appliances
_xData processing
906 _a7
_bcbc
_corignew
_d4
_encip
_f20
_gy-gencatlg
942 _2lcc
_cAFR
999 _c22073
_d22073