Introduction to Static Analysis: An Abstract Interpretation Perspective (The MIT Press)
-10%
Availability: In Stock

Introduction to Static Analysis: An Abstract Interpretation Perspective (The MIT Press)

SKU: 9780262043410

Original price was: ₹6,675.00.Current price is: ₹6,007.50.

Discover the power of abstract interpretation in static program analysis with “Introduction to Static Analysis: An Abstract Interpretation Perspective” from The MIT Press. This essential guide offers a self-contained introduction to discovering program properties without execution, crucial for software verification, optimization, and maintenance. Perfect for students, developers, and users, it bridges the gap in literature by providing both theoretical foundations and practical insights into static analysis tools. Explore program semantics, abstraction techniques, and implementation strategies for enhancing accuracy and cost-effectiveness. Whether you’re new to the field or an experienced professional, this book provides a comprehensive overview, making complex static analysis principles accessible and applicable for building robust software.

5 in stock

Category: Tag:

Description

  • ISBN-10: 0262043416
  • ISBN-13: 978-0262043410
  • Publisher: The MIT Press
  • Publication date: 11 February 2020
  • Language: English
  • Dimensions: 18.75 x 2.01 x 23.65 cm
  • Print length: 320 pages

Related products