Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Developing Safety Systems: A Guide Using Ada
Foto des Verkäufers
Developing Safety Systems: A Guide Using Ada
Anbieter: -OnTimeBooks-, Phoenix, AZ, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers OTV.0132042983.G
Gebraucht kaufen
EUR 34,24
Versand gratis
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Developing Safety Systems: A Guide Using Ada
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers ABBB-98256
Beispielbild für diese ISBN
Developing Safety Systems: A Guide Using Ada
Anbieter: Basi6 International, Irving, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Bestandsnummer des Verkäufers ABEOCT25-59415
Beispielbild für diese ISBN
Developing Safety Systems
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: Used. pp. 240. Bestandsnummer des Verkäufers 262615196
Gebraucht kaufen
EUR 43,48
EUR 3,49 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Developing Safety Systems
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Zustand: Used. pp. 240. Bestandsnummer des Verkäufers 5265475
Gebraucht kaufen
EUR 39,97
EUR 7,65 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Developing Safety Systems
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: Used. pp. 240. Bestandsnummer des Verkäufers 182615190
Gebraucht kaufen
EUR 40,62
EUR 9,95 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar