• Books
• Debugging in computer software

Seller Description: New. See More Details

Seller Description: Good. Textbook, May Have Highlights, Notes and/or Underlining, BOOK ONLY-NO ACCESS CODE, NO CD, Ships with Tracking. See More Details

Seller Description: Good. USED-VARIOUS AMOUNTS OF WEAR-POSSIBLE HIGHLIGHTS-WE CANNOT GUARANTEE SUPPLEMENTS SUCH AS CD, ACCESS CODE, OR INFO TRAC. See More Details

Seller 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. ... See More Details

Seller Description: Fast &-Good condition. It may show normal signs of use such as light writing highlighting or library markings but all pages are intact and the book is fully readable. A solid complete copy that's ready to enjoy. See More Details

Seller Description: Good. Size: 8x7x0; See More Details

Seller Description: Very good. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. See More Details

Seller Description: Very good. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. See More Details

Seller Description: Good. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. See More Details

Seller Description: Fair. Former library book; Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less. See More Details

Seller Description: Used-Like New. Used Like New, no missing pages, no damage to binding, may have a remainder mark. See More Details

Seller Description: Brand new. Ships from Friends bookstore to benefit Beaverton (Oregon) library. See More Details

Seller Description: Good. All pages and cover are intact including the dust cover if applicable. Spine may show signs of wear. Pages may include limited notes and highlighting. May include From the library of labels. Shrink wrap dust covers or boxed set case may be missing. Item may be missing bundled media. Cover art may not match stock photo. See More Details

Seller Description: Fairly worn but readable and intact. If applicable: Dust jacket disc or access code may not be included. See More Details

Seller Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. See More Details

Seller Description: New. inventory reduction. Trade paperback (US). Glued binding. 400 p. Contains: Illustrations, black & white, Line drawings, black & white, Tables, black & white, Figures. Audience: General/trade. See More Details

Seller Description: Brand New. New. See More Details

Seller Description: New. See More Details

Seller Description: The item is brand new, never used or read. It's in perfect condition and may include supplements and/or access codes or come shrink-wrapped. See More Details

Seller Description: Good. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting. See More Details