BOOKS - PROGRAMMING - Building High Integrity Applications with SPARK
US $6.66
28297
28297
Building High Integrity Applications with SPARK
Author: John W. McCormick and Peter C. Chapin
Year: 2015
Format: PDF | EPUB
File size: 24 MB
Language: ENG
Year: 2015
Format: PDF | EPUB
File size: 24 MB
Language: ENG
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.