Principles of Program Analysis by Flemming Nielson (English) Paperback Book 2010
4.8 (68 items)
Limited Time Sale$30.00 cheaper than the new price!!
Free cash-on-delivery fees for purchases over $99
Product details
| Management number | 36120288 | Release Date | 2026/01/05 | List Price | $45.00 | Model Number | 36120288 | ||
|---|---|---|---|---|---|---|---|---|---|
| Category | |||||||||
You're looking at a Principles of Program Analysis by Flemming Nielson, Hanne Riis Nielson & Chris Hankin (Springer 2010) ● Paperback Reprint ● Excellent Condition. I will ship free, fast, and carefully by way of USPS Media Mail. However, you may select to pay for priority shipping.
■Authoritative guide to static program analysis – Principles of Program Analysis by Flemming Nielson, Hanne Riis Nielson, and Chris Hankin (Springer-Verlag Berlin Heidelberg, ©2010 paperback edition).
■Comprehensive overview of four core approaches: data flow analysis, constraint-based, abstract interpretation, type/effect systems
■Practical applications: compilers, code optimization, software validation, security analysis
■Ideal for M.Sc./Ph.D. students, researchers, and professionals in formal methods
■Condition: Excellent used – clean pages (no writing/highlighting), tight binding, minimal cover wear (well-preserved classic).
■Timeless resource bridging theory and practice in program reasonin
| Category | Books > Reference Books > Educational & Instructional Books |
|---|---|
| Size | N/A |
| Brand | None |
| Condition | Good |
Educational & Instructional Books
Correction of product information
If you notice any omissions or errors in the product information on this page, please use the correction request form below.
Correction Request Form