Building High Integrity Applications with SPARK

Versandkostenfrei!
Versandfertig in 1-2 Wochen
64,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
32 °P sammeln!
Software is pervasive in our lives. We are accustomed to dealing with the failures of much of that software - restarting an application is a very familiar solution. Such solutions are unacceptable when the software controls our cars, airplanes and medical devices or manages our private information. These applications must run without error. SPARK provides a means, based on mathematical proof, to guarantee that a program has no errors. SPARK is a formally defined programming language and a set of verification tools specifically designed to support the development of software used in high integr...