Building High Integrity Applications with SPARK by Peter C. Chapin
English | 3 Sept. 2015 | ISBN: 1107656842, 1107040736 | 379 Pages | True AZW3 (Kindle)/(EPUB/PDF conv) | 34.28 MB
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.