Sinopsis
This work looks at the different roles involved in producing and accepting safety-related systems and the corresponding human activities. It illustrates how Ada provides a framework in which the design rules for safety can be applied and confirmed, explains relationships, with major published guidelines for development, of safety-related software, interprets guidelines specifically for Ada and presents material for three contemporary viewpoints - analyzer, synthesiser and checker.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
This work looks at the different roles involved in producing and accepting safety-related systems and the corresponding human activities. It illustrates how Ada provides a framework in which the design rules for safety can be applied and confirmed, explains relationships, with major published guidelines for development, of safety-related software, interprets guidelines specifically for Ada and presents material for three contemporary viewpoints - analyzer, synthesiser and checker.
"Sobre este título" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Developing Safety Systems: Guide Using ADA
Imagen de archivo
Developing Safety Systems: A Guide Using Ada
Librería: Basi6 International, Irving, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Nº de ref. del artículo: ABEOCT25-59415
Comprar nuevo
EUR 44,18
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Developing Safety Systems: A Guide Using Ada
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Nº de ref. del artículo: ABBB-98256
Comprar nuevo
EUR 44,18
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Developing Safety Systems
Publicado por
Prentice-Hall, 1991
ISBN 10: 0132042983
ISBN 13: 9780132042987
Antiguo o usado
Tapa blanda
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: Used. pp. 240. Nº de ref. del artículo: 262615196
Comprar usado
EUR 46,05
Envío por EUR 3,40
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Developing Safety Systems
Publicado por
Prentice-Hall, 1991
ISBN 10: 0132042983
ISBN 13: 9780132042987
Antiguo o usado
Tapa blanda
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Condición: Used. pp. 240. Nº de ref. del artículo: 5265475
Comprar usado
EUR 42,52
Envío por EUR 7,53
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Developing Safety Systems
Publicado por
Prentice-Hall, 1991
ISBN 10: 0132042983
ISBN 13: 9780132042987
Antiguo o usado
Tapa blanda
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 4 de 5 estrellas
Condición: Used. pp. 240. Nº de ref. del artículo: 182615190
Comprar usado
EUR 43,39
Envío por EUR 9,95
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles