Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Product Description
Book by Pyle I C
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Developing Safety Systems: A Guide Using Ada
Immagini fornite dal venditore
Developing Safety Systems: A Guide Using Ada
Da: -OnTimeBooks-, Phoenix, AZ, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail. Codice articolo OTV.0132042983.G
Compra usato
EUR 34,24
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Developing Safety Systems: A Guide Using Ada
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEOCT25-59415
Compra nuovo
EUR 43,49
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Developing Safety Systems: A Guide Using Ada
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: 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. Codice articolo ABBB-98256
Compra nuovo
EUR 43,49
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Developing Safety Systems
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: Used. pp. 240. Codice articolo 262615196
Compra usato
EUR 43,48
Spedizione EUR 3,49
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Developing Safety Systems
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: Used. pp. 240. Codice articolo 5265475
Compra usato
EUR 39,97
Spedizione EUR 7,65
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Developing Safety Systems
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: Used. pp. 240. Codice articolo 182615190
Compra usato
EUR 40,62
Spedizione EUR 9,95
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili