SPARK (Programming Language), Fachbücher von Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
SPARK ist eine formal definierte Programmiersprache, die auf der Ada-Programmiersprache basiert. Sie wurde entwickelt, um Sic... Mehr erfahren
Produktvarianten
SPARK (Programming Language), Fachbücher von Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
Finde die besten Angebote
Bester Preis17 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
SPARK ist eine formal definierte Programmiersprache, die auf der Ada-Programmiersprache basiert. Sie wurde entwickelt, um Sicherheit zu gewährleisten und die Entwicklung von Software mit hoher Integrität zu unterstützen. Diese Software findet Anwendung in Bereichen, in denen eine vorhersehbare und hochzuverlässige Funktionalität von entscheidender Bedeutung ist, wie beispielsweise in der Luft- und Raumfahrt, in medizinischen Systemen oder in der Prozesskontrolle in Kernkraftwerken. SPARK ist auch für geschäftskritische Anwendungen geeignet, wie etwa Finanzsoftware für Banken und Versicherungen, wo Integrität und Sicherheit von grösster Bedeutung sind. Das Buch bietet eine umfassende Einführung in die Konzepte und Anwendungen dieser Programmiersprache und ist eine wertvolle Ressource für Fachleute und Studierende, die sich mit sicherer Softwareentwicklung beschäftigen.
Informationen
Lieferzeit:2-4 Werktage
Marke:Betascript Publishing