SPARK (Programming Language), Fachbücher von Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
34,00 €
Variante
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.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
