Storey, Neil. Safety-critical computer systems / Neil Storey. - Inglaterra : Pearson, 1996. - xviii, 453 p. : il.; 24 cm. Incluye apendices. BK 699 ISBN: 9780201427875 Materias--Términos Generales: Diseño--Sistemas informáticos No. De Clasificación Dewey: 621.392 S76