00581nam a2200217 a 4500 2865336 20180109070843.0 850408s1985 ge a b 000 0 eng 85140127 0387151028 (U.S.) DLC DLC DLC eng 005.1 QUI 005.1 QUI 19 28 SHK Verification and validation of real-time software / edited by W.J. Quirk. Bibliography: p. [209]-231. 7 cbc orignew 3 ncip 19 y-gencatlg ddc BK 39890 39890 0 0 udc 0 0 PËKG 002 002 PËKG 2018-01-09 0 005.1 QUI 002-2995197 2018-01-09 2018-01-09 BK