Imagen de Portada

Safeware : system safety and computers /

Guardado en:

Autor Principal:	Leveson, Nancy.
Formato:	Libro
Idioma:	English
Publicado:	Reading, Mass. : Addison-Wesley, c1995.
Materias:	Software > Confiabilidad. Computer software > Reliability. Electronic digital computers > Reliability. Computadores digitales > Confiabilidad.
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

SafeWare : system safety and computers /
por: Leveson, Nancy.
Publicado: (1995)

Mejoramiento de la confiabilidad /
por: Castañeda Cortes, Andrey.
Publicado: (2019)

Control systems safety evaluation and reliability /
por: Goble, William M.
Publicado: (1998)

Reliability analysis /
Publicado: (1980)

Reliability mathematics: fundamentals, practices, procedures /
por: Amstadter, Bertram L.
Publicado: (1971)

Practical reliability engineering /
por: O'Connor, Patrick D. T.
Publicado: (1985)

Confiabilidad: historia, estado del arte y desafios futuros
por: Escobar R., Luis A.., et al.
Publicado: (2003)

Methods for statistical analysis of reliability and life data /
por: Mann, Nancy R.
Publicado: (1974)

Safety of computer control systems : proceedings of the IFAC Workshop, Stuttgart, Federal Republic of Germany, 16-18 May 1979 /
Publicado: (1980)

Software reliability : principles and practices /
por: Myers, Glenford J., 1946-
Publicado: (1976)

Software for computer control : proceedings of the second IFAC /IFIP symposium on software for computer control, Prague, Czechoslovakia, 11-15 June 1979 /
Publicado: (1979)

Software risk management /
Publicado: (1989)

Building reliable component-based software systems /
Publicado: (2002)

Probabilistic reliability : an engineering approach /
por: Shooman, Martin L.
Publicado: (1968)

Design of digital computers : an introduction /
por: Gschwind, Hans W.
Publicado: (1975)

IEEE Transactions on reliability /
Publicado: (1966)

Dependable computing for critical applications 5 /
Publicado: (1998)

Actitudes justificativas del comportamiento agresivo y violento en estudiantes universitarios de la ciudad de Medellín, Colombia, 2001 = Justificatory attitudes of aggressive and violent behavior in university students in Medellín, Colombia, 2001 /
por: Castrillón M., Diego,
Publicado: (2002)

Evaluación de confiabilidad de sistemas de distribución eléctrica en desregulación /
por: Baeza G., Ricardo,
Publicado: (2003)

Guidelines for improving plant reliability through data collection and analysis /
Publicado: (1998)

Guidelines for process equipment reliability data : with data tables.
Publicado: (1989)

Temporal verification of reactive systems : safety /
por: Manna, Zohar.
Publicado: (1995)

Software Verification and Validation An Engineering and Scientific Approach /
por: Fisher, Marcus S.
Publicado: (2007)

Digital systems, with algorithm implementation /
por: Davio, M.
Publicado: (1983)

The art of digital design : an introduction to top-down design /
por: Winkel, David E.
Publicado: (1980)

Safety-critical computer systems /
por: Storey, Neil.
Publicado: (1996)

Design automation of digital systems /
Publicado: (1972)

Reliability and biometry : statistical analysis of lifelength : papers /
Publicado: (1974)

Failure diagnosis and performance monitoring /
por: Pau, L.-F. 1948-
Publicado: (1981)

Definitive guide to Excel VBA /
por: Kofler, Michael.
Publicado: (2000)

Logic design : a review of theory and practice /
por: Langdon, Glen G.
Publicado: (1974)

Proceso de desarrollo de software : basado en la articulación de RUP y CMMI priorizando su calidad /
por: Báez Pérez, Carmen Inés,
Publicado: (2015)

System Software Reliability
por: Pham, Hoang.
Publicado: (2007)

Embedded Systems Modeling, Technology, and Applications
por: Hommel, Günter.
Publicado: (2006)

The art of computer systems performance analysis : techniques for experimental design, measurement, simulation, and modeling /
por: Jain, Raj.
Publicado: (1991)

Introduction to computer theory /
por: Cohen, Daniel I. A., 1946-
Publicado: (1997)

Modern digital computers /
por: Maley, Gerald A.
Publicado: (1964)

Diseño lógico : fundamentos de electrónica digital /
por: Flórez Fernández, Héctor Arturo.
Publicado: (2010)

Specification of software systems /
por: Alagar, Vangalur S., 1940-
Publicado: (2011)

Black-box testing : techniques for functional testing of software and systems /
por: Beizer, Boris, 1934-
Publicado: (1995)