Name: Building High Integrity Applications With Spark
Price: 3467.00 ZAR
Availability: InStock
Author: McCormick, John W. ; Chapin, Peter C.
ISBN: 9781107040731

portada Building High Integrity Applications With Spark

Building High Integrity Applications With Spark

Type

Physical Book

Author

John W. McCormick

Peter C. Chapin

Publisher

Cambridge University Press

Language

English

Format

Hardcover

Dimensions

23.7 x 15.4 x 2.4 cm

Weight

0.64 kg.

ISBN13

9781107040731

Synopsis "Building High Integrity Applications With Spark "

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 integrity applications. Using SPARK, developers can formally verify properties of their code such as information flow, freedom from runtime errors, functional correctness, security properties and safety properties. Written by two SPARK experts, this is the first introduction to the just-released 2014 version. It will help students and developers alike master the basic concepts for building systems with SPARK.

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews

Building High Integrity Applications With Spark - McCormick, John W. ; Chapin, Peter C.

Synopsis "Building High Integrity Applications With Spark "

Customers reviews

Frequently Asked Questions about the Book

Is the book original?

In what language is the book written?

What is the format of this book?

Questions and Answers about the Book

Opinions about Bookdelivery