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. $124.95, very good condition, Sold by Salish Sea Books rated 4.0 out of 5 stars, ships from Bellingham, WA, UNITED STATES, published 2011 by Wiley-ISTE Publishing.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Very Good; Hardcover; Light wear to the covers; Unblemished textblock edges; Two blank labels to the front endpapers; Text pages are clean and unmarked; The binding is excellent with a straight spine; This book will be shipped in a sturdy cardboard box with foam padding; Medium Format (8.5Äù Äì 9.75Äù tall); Red and blue covers with title in white lettering; 2011, Wiley-ISTE Publishing; 331 pages; "Static Analysis of Software: The Abstract Interpretation, " by Jean-Louis Boulanger.
Add this copy of Static Analysis of Software: the Abstract to cart. $125.91, good condition, Sold by HPB-Red rated 5.0 out of 5 stars, ships from Dallas, TX, UNITED STATES, published 2011 by Wiley-ISTE.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
Add this copy of Static Analysis of Software: The Abstract to cart. $148.03, like 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:
Fine. 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. $177.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. $177.71, new condition, Sold by Websew Inc rated 4.0 out of 5 stars, ships from Avenel, NJ, UNITED STATES, published 2011 by Wiley-Iste.
