for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, BlackBerry ...

New to

Learn more

Static Analysis of Software

The Abstract Interpretation

Static Analysis of Software by Jean-Louis Boulanger
Add to cart
US$ 173.00
(If any tax is payable it will be calculated and shown at checkout.)
The existing literature currently available to students andresearchers is very general, covering only the formal techniques ofstatic analysis.

This book presents real examples of the formal techniques called"abstract interpretation" currently being used in variousindustrial fields: railway, aeronautics, space, automotive,etc.

The purpose of this book is to present students and researchers,in a single book, with the wealth of experience of people who areintrinsically involved in the realization and evaluation ofsoftware-based safety critical systems. As the authors are peoplecurrently working within the industry, the usual problems ofconfidentiality, which can occur with other books, is not an issueand so makes it possible to supply new useful information (photos,architectural plans, real examples).

Wiley; February 2013
ISBN 9781118602959
Read online, or download in secure EPUB or secure PDF format
Title: Static Analysis of Software
Author: Jean-Louis Boulanger
Buy, download and read Static Analysis of Software (eBook) by Jean-Louis Boulanger today!