£36.29

Springer Principles of Program Analysis

Price data last checked 50 day(s) ago - refreshing...

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

It has never been this cheap. We have no record of a lower price.

£36 today · cheaper than every other day in the last 3 months

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey
↓ Forecast
where the price is heading next
↓ Statistics
all-time high & low, recent range
↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 41 days • 41 data points (No recent data available)

Historical
Generating forecast...
£40.65 £35.85 £36.90 £37.95 £38.99 £40.04 £41.09 10 March 2026 20 March 2026 30 March 2026 09 April 2026 19 April 2026

Price Distribution

Price distribution over 41 days • 2 price levels

Days at Price
Current Price
38 days · current 3 days 0 10 19 29 38 £36 £41 Days at Price

Price Analysis

Most common price: £36 (38 days, 92.7%)

Price range: £36 - £41

Price levels: 2 different prices over 41 days

Description

Program analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. Applications include compilers (for code improvement), software validation (for detecting errors in algorithms or breaches of security) and transformations between data representation (for solving problems such as the Y2K problem). This book is unique in giving an overview of the four major approaches to program analysis: data flow analysis, constraint based analysis, abstract interpretation, and type and effect systems. The presentation demonstrates the extensive similarities between the approaches; this will aid the reader in choosing the right approach and in enhancing it with insights from the other approaches. The book covers basic semantic properties as well as more advanced algorithmic techniques. The book is aimed at M.Sc. and Ph.D. students but will be valuable also for experienced researchers and professionals.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
01 December 2010
Listed Since
14 June 2010

Barcode

No barcode data available

Similar Products You Might Like

A Practical Theory of Programming (Monographs in Computer Science)
96% match

A Practical Theory of Programming (Monographs in Computer Science)

Springer

£41.54 07 Mar 2026
Advanced Symbolic Analysis for Compilers: New Techniques and Algorithms for Symbolic Program Analysis and Optimization: 2628 (Lecture Notes in Computer Science, 2628)
96% match

Advanced Symbolic Analysis for Compilers: New Techniques and Algorithms for Symbolic Program Analysis and Optimization: 2628 (Lecture Notes in Computer Science, 2628)

Springer

£44.99 07 Mar 2026
Simple Program Design, A Step-by-Step Approach, Fifth Edition
95% match

Simple Program Design, A Step-by-Step Approach, Fifth Edition

Cengage Learning

£46.47 16 Mar 2026
Programming Language Fundamentals by Example
95% match

Programming Language Fundamentals by Example

CRC Press

£30.05 17 Feb 2026
Theories of Programming Languages
95% match

Theories of Programming Languages

Cambridge University Press

£68.79 12 Apr 2026
Theories of Programming Languages
95% match

Theories of Programming Languages

Cambridge University Press

£57.99 14 Apr 2026
Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)
95% match

Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)

Springer

£113.25 12 Apr 2026
Programming Logic and Design: Comprehensive (with Videos Printed Access Card)
95% match

Programming Logic and Design: Comprehensive (with Videos Printed Access Card)

Cengage Learning

£43.25 11 Mar 2026
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and ... Greece, April 14-20, 2018, Proceedings
95% match

Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and ... Greece, April 14-20, 2018, Proceedings

Saint Philip Street Press

£75.99 16 Feb 2026
Programming Languages: 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings: 9889 (Lecture Notes in Computer Science, 9889)
95% match

Programming Languages: 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings: 9889 (Lecture Notes in Computer Science, 9889)

Springer

£41.03 19 Apr 2026
Practical Foundations for Programming Languages
95% match

Practical Foundations for Programming Languages

Cambridge University Press

£59.68 14 Jan 2026
Programming Language Explorations
95% match

Programming Language Explorations

Chapman and Hall/CRC

£115.00 09 Mar 2026
Programming and Problem Solving with Ada 95
95% match

Programming and Problem Solving with Ada 95

Jones & Bartlett Learning

£141.00 10 Mar 2026
Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 ― December 1, 2017, Proceedings: 10623 (Lecture Notes in Computer Science, 10623)
95% match

Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 ― December 1, 2017, Proceedings: 10623 (Lecture Notes in Computer Science, 10623)

Springer

£46.51 04 Apr 2026
Understanding Programming Languages
95% match

Understanding Programming Languages

Springer

£53.52 06 Apr 2026
Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and ... (Lecture Notes in Computer Science, 2986)
95% match

Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and ... (Lecture Notes in Computer Science, 2986)

Springer

£103.89 09 Mar 2026
Programming Language Explorations
95% match

Programming Language Explorations

Chapman and Hall/CRC

£46.91 31 Jan 2026
Programming Logic and Design: Introductory (with Videos Printed Access Card)
95% match

Programming Logic and Design: Introductory (with Videos Printed Access Card)

Cengage Learning

£90.99 15 Feb 2026
Exploring Computer Science with Scheme (Undergraduate Texts in Computer Science)
95% match

Exploring Computer Science with Scheme (Undergraduate Texts in Computer Science)

Springer

£28.54 11 Mar 2026
Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and ... (Lecture Notes in Computer Science, 4421)
95% match

Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and ... (Lecture Notes in Computer Science, 4421)

Springer

£64.66 01 Mar 2026
Essentials of Programming Languages 3e (OIP) (The MIT Press)
95% match

Essentials of Programming Languages 3e (OIP) (The MIT Press)

MIT Press

£70.00 25 Jan 2026
Introduction to Programming Languages
95% match

Introduction to Programming Languages

CRC Press

£166.98 12 Jan 2026
The World of Programming Languages (Springer Books on Professional Computing)
95% match

The World of Programming Languages (Springer Books on Professional Computing)

Springer

£69.35 01 Mar 2026
Compiler Design: Analysis and Transformation
95% match

Compiler Design: Analysis and Transformation

Springer

£54.79 24 Feb 2026