The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This book presents real examples of the formal techniques called "abstract interpretation" currently being used in various industrial 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 are intrinsically involved in the realization and evaluation of ...
Read More
The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This book presents real examples of the formal techniques called "abstract interpretation" currently being used in various industrial 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 are intrinsically involved in the realization and evaluation of software-based safety critical systems. As the authors are people currently working within the industry, the usual problems of confidentiality, which can occur with other books, is not an issue and so makes it possible to supply new useful information (photos, architectural plans, real examples).
Read Less
Add this copy of Static Analysis of Software: The Abstract to cart. $201.33, new condition, Sold by GreatBookPricesUK5 rated 5.0 out of 5 stars, ships from Castle Donington, DERBYSHIRE, UNITED KINGDOM, published 2011 by Wiley-Iste.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Sewn binding. Paper over boards. 331 p. Contains: Illustrations, black & white, Line drawings, black & white, Tables, black & white, Figures. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Add this copy of Static Analysis of Software to cart. $247.31, new condition, Sold by Kennys.ie rated 4.0 out of 5 stars, ships from Galway, IRELAND, published 2011 by Wiley-Iste.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This book presents real examples of the formal techniques called "abstract interpretation" currently being used in various industrial fields: railway, aeronautics, space, automotive, etc. Editor(s): Boulanger, Jean-Louis. Num Pages: 346 pages, Illustrations. BIC Classification: UMZ. Category: (G) General (US: Trade). Dimension: 241 x 154 x 24. Weight in Grams: 654. 2011.....We ship daily from our Bookshop.
Add this copy of Static Analysis of Software: The Abstract to cart. $184.70, new condition, Sold by GreatBookPrices rated 4.0 out of 5 stars, ships from Columbia, MD, UNITED STATES, published 2011 by Wiley-Iste.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Sewn binding. Paper over boards. 331 p. Contains: Illustrations, black & white, Line drawings, black & white, Tables, black & white, Figures. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Add this copy of Static Analysis of Software: the Abstract to cart. $184.71, new condition, Sold by indoo rated 4.0 out of 5 stars, ships from Avenel, NJ, UNITED STATES, published 2011 by Wiley-Iste.
