000 00478nam a22001697a 4500
005 20250705220004.0
008 250705b |||||||| |||| 00| 0 eng d
020 _a3540151028
050 _aOA76.54.V4 1985
100 _aQuirk, W.J.
245 _aVerification and validation of real-time software.
_cW.J. Quirk.
260 _aNew York
300 _axi,245p.:ill.;
_bHbk
650 _aReal
_vTime data processing
650 _aComputer software
_vVerification.
942 _cBK
999 _c17799
_d17799