£41.25

Springer Principles of Program Analysis

Price data last checked 9 day(s) ago - will refresh soon

View at Amazon

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

This is the most expensive it has ever been. Walk away.

£41 today · previous high £41 · all-time low £36

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 82 days · 82 data points (no recent data)

Historical
Generating forecast…
£41.25 £35.83 £37.01 £38.19 £39.38 £40.56 £41.74 26 April 2026 16 May 2026 05 June 2026 25 June 2026 16 July 2026

Price Distribution

Price distribution over 82 days • 2 price levels

Days at Price
Current Price
14 days 68 days · current 0 17 34 51 68 £36 £41 Days at Price

Price Analysis

Most common price: £41 (68 days, 82.9%)

Price range: £36 - £41

Price levels: 2 different prices over 82 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

£39.76 08 Jul 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 08 Jul 2026
Simple Program Design, A Step-by-Step Approach, Fifth Edition
95% match

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

Course Technology

£45.59 11 Jul 2026
Programming Language Fundamentals by Example
95% match

Programming Language Fundamentals by Example

CRC Press

£33.02 01 Jul 2026
Theories of Programming Languages
95% match

Theories of Programming Languages

Cambridge University Press

£67.39 14 Jul 2026
Theories of Programming Languages
95% match

Theories of Programming Languages

Cambridge University Press

£61.75 15 Jul 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

£108.00 14 Jul 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

£41.78 10 Jul 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.23 30 Jun 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.42 16 Jul 2026
Practical Foundations for Programming Languages
95% match

Practical Foundations for Programming Languages

Cambridge University Press

£60.24 17 Jun 2026
Programming Language Explorations
95% match

Programming Language Explorations

Chapman and Hall/CRC

£108.76 09 Jul 2026
Programming and Problem Solving with Ada 95
95% match

Programming and Problem Solving with Ada 95

Jones & Bartlett Learning

£141.00 10 Jul 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 13 Jul 2026
Understanding Programming Languages
95% match

Understanding Programming Languages

Springer

£50.87 13 Jul 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.97 09 Jul 2026
Programming Language Explorations
95% match

Programming Language Explorations

Chapman and Hall/CRC

£48.44 23 Jun 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

£94.99 29 Jun 2026
Exploring Computer Science with Scheme (Undergraduate Texts in Computer Science)
95% match

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

Springer

£38.61 10 Jul 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 05 Jul 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 19 Jun 2026
The World of Programming Languages (Springer Books on Professional Computing)
95% match

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

Springer

£70.18 06 Jul 2026
Compiler Design: Analysis and Transformation
95% match

Compiler Design: Analysis and Transformation

Springer

£55.39 03 Jul 2026
Compiler Design: Analysis and Transformation
95% match

Compiler Design: Analysis and Transformation

Springer

£53.10 04 Jul 2026