[PDF.67ym] High Integrity Software: The SPARK Approach to Safety and Security
Download PDF | ePub | DOC | audiobook | ebooks
Home -> High Integrity Software: The SPARK Approach to Safety and Security Download
High Integrity Software: The SPARK Approach to Safety and Security
John Barnes
[PDF.hf57] High Integrity Software: The SPARK Approach to Safety and Security
High Integrity Software: The John Barnes epub High Integrity Software: The John Barnes pdf download High Integrity Software: The John Barnes pdf file High Integrity Software: The John Barnes audiobook High Integrity Software: The John Barnes book review High Integrity Software: The John Barnes summary
| #3213528 in Books | Addison-Wesley | 2003-04-25 | Ingredients: Example Ingredients | Original language:English | PDF # 1 | 9.50 x1.00 x6.75l, | File type: PDF | 448 pages | ||14 of 14 people found the following review helpful.| Excellent Book for Professionals|By Mike|If you are in the business of creating serious software that is safety critical or security related then this book is essential reading, it is also an excellent guide if you have an interest in how such software is created. Focusing on how the SPARK language assures correctness throughout the construction of the software and how the su|From the Back Cover||"This book is indispensable to the serious SPARK user, giving a complete description of the enhanced SPARK language and analysis capabilities."|--Phil Thornley, Specialist in Safety Critical Software, BAE Systems. |"The SPARK approach provid
This book provides an accessible introduction to the SPARK programming language.
Updated 'classic' that covers all of the new features of SPARK, including Object Oriented Programming.
The only book on the market that covers this important and robust programming language.
CD-ROM contains the main SPARK tools and additional manuals giving all the information needed to use SPARK in practice.
Technology:
The SPARK language is aimed ...
You can specify the type of files you want, for your device.High Integrity Software: The SPARK Approach to Safety and Security | John Barnes. I was recommended this book by a dear friend of mine.
