TY - BOOK AU - Sin autor AU - Quirk,W.J. TI - Verification and validation of real-time software SN - 3540151028 PY - 1985/// CY - Berlín PB - [S.n.] KW - PRUEBA Y DEPURACIÓN DE SOFTWARE KW - FIABILIDAD DEL SOFTWARE KW - SISTEMAS DE TIEMPO REAL KW - VERIFICACIÓN DE PROGRAMAS ER -