Spark For Newbies

Spark For Newbies

by Barbara Ford

Paperback

$7.99
Choose Expedited Shipping at checkout for guaranteed delivery by Tuesday, December 17

Overview

SPARK is a formally defined computer programming language based on the Ada programming language, intended for the development of high integrity software used in systems where predictable and highly reliable operation is essential. It facilitates the development of applications that demand safety, security, or business integrity.

Originally, there were three versions of the SPARK language (SPARK83, SPARK95, SPARK2005) based on Ada 83, Ada 95 and Ada 2005 respectively.

A fourth version of the SPARK language, SPARK 2014, based on Ada 2012, was released on April 30, 2014. SPARK 2014 is a complete re-design of the language and supporting verification tools.

The SPARK language consists of a well-defined subset of the Ada language that uses contracts to describe the specification of components in a form that is suitable for both static and dynamic verification.

This updated and expanded second edition of Book provides a user-friendly introduction to the subject, Taking a clear structural framework, it guides the reader through the subject's core elements. A flowing writing style combines with the use of illustrations and diagrams throughout the text to ensure the reader understands even the most complex of concepts. This succinct and enlightening overview is a required reading for all those interested in the subject .
We hope you find this book useful in shaping your future career & Business.

Product Details

ISBN-13: 9781540637604
Publisher: CreateSpace Publishing
Publication date: 11/26/2016
Pages: 112
Product dimensions: 5.98(w) x 9.02(h) x 0.23(d)

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews