£76.38

Springer A Modular Calculus for the Average Cost of Data Structuring

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

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.

£76 today · previous high £76 · all-time low £76

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 60 days • 60 data points (No recent data available)

Historical
Generating forecast...
£76.38 £75.79 £75.92 £76.05 £76.17 £76.30 £76.43 02 March 2026 16 March 2026 31 March 2026 15 April 2026 30 April 2026

Price Distribution

Price distribution over 60 days • 1 price levels

Days at Price
60 days 0 15 30 45 60 £76 Days at Price

Price Analysis

Most common price: £76 (60 days, 100.0%)

Price range: £76 - £76

Price levels: 1 different prices over 60 days

Description

The main time measure currently used for real-time languages (worst-case time) is well-known not to be modular in general, which makes average-case analysis notoriously difficult, involving a variety of techniques which typically do not allow for automation. This book introduces the first programming language for which average-case time analysis of its programs is guaranteed to be modular. The book includes sample programs and sample derivations of the average-case time of these programs to illustrate this radically different approach to average-case timing. The book presets a single foundation for Average-Case Analysis, based on the notion of Random Structure Preservation, and solves several well-known open problems discussed by Knuth.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
19 November 2014
Listed Since
19 November 2014

Barcode

No barcode data available

Similar Products You Might Like

Transactions on Modularity and Composition I: 9800 (Lecture Notes in Computer Science, 9800)
94% match

Transactions on Modularity and Composition I: 9800 (Lecture Notes in Computer Science, 9800)

Springer

£52.70 01 May 2026
Thinking About Programs (ACM Books)
94% match

Thinking About Programs (ACM Books)

£41.32 01 Feb 2026
Software Pioneers: Contributions to Software Engineering
94% match

Software Pioneers: Contributions to Software Engineering

Springer

£108.35 01 May 2026
Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings: 11254 (Lecture Notes in Computer Science, 11254)
94% match

Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings: 11254 (Lecture Notes in Computer Science, 11254)

Springer

£47.84 27 Apr 2026
Program Design Calculi: 118 (NATO ASI Subseries F:, 118)
93% match

Program Design Calculi: 118 (NATO ASI Subseries F:, 118)

Springer

£143.97 14 Feb 2026
Program Design Calculi: 118 (NATO ASI Subseries F:, 118)
93% match

Program Design Calculi: 118 (NATO ASI Subseries F:, 118)

Springer

£151.65 09 Feb 2026
Design Rules, Volume 1: The Power of Modularity (The MIT Press)
93% match

Design Rules, Volume 1: The Power of Modularity (The MIT Press)

£52.87 25 Jan 2026
Concern-Oriented Heuristic Assessment of Design Stability: Evaluating New Generation Modular Software Technologies
93% match

Concern-Oriented Heuristic Assessment of Design Stability: Evaluating New Generation Modular Software Technologies

LAP Lambert Academic Publishing

£67.00 10 Mar 2026
Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised ... (Lecture Notes in Computer Science, 10644)
93% match

Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised ... (Lecture Notes in Computer Science, 10644)

Springer

£30.11 01 May 2026
Meta-Programming and Model-Driven Meta-Program Development: Principles, Processes and Techniques (Advanced Information and Knowledge Processing)
93% match

Meta-Programming and Model-Driven Meta-Program Development: Principles, Processes and Techniques (Advanced Information and Knowledge Processing)

Springer

£78.00 08 Jan 2026
Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude (Undergraduate Topics in Computer Science)
93% match

Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude (Undergraduate Topics in Computer Science)

Springer

£46.92 26 Apr 2026
Model Driven Engineering Languages and Systems: 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I: 6394 (Lecture Notes in Computer Science, 6394)
93% match

Model Driven Engineering Languages and Systems: 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I: 6394 (Lecture Notes in Computer Science, 6394)

Springer

£40.53 06 May 2026
Meta-Programming and Model-Driven Meta-Program Development: Principles, Processes and Techniques (Advanced Information and Knowledge Processing)
93% match

Meta-Programming and Model-Driven Meta-Program Development: Principles, Processes and Techniques (Advanced Information and Knowledge Processing)

Springer

£76.02 20 Apr 2026
Concurrent and Real-time Systems: The CSP Approach (Worldwide Series in Computer Science)
93% match

Concurrent and Real-time Systems: The CSP Approach (Worldwide Series in Computer Science)

Wiley

£55.79 15 Apr 2026
Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers: 2294 (Lecture Notes in Computer Science, 2294)
93% match

Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers: 2294 (Lecture Notes in Computer Science, 2294)

Springer

£44.66 28 Apr 2026
Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)
93% match

Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)

Springer

£87.89 18 May 2026
Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European ... (Lecture Notes in Computer Science, 2988)
93% match

Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European ... (Lecture Notes in Computer Science, 2988)

Springer

£85.11 30 Mar 2026
Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, ... (Lecture Notes in Computer Science, 6324)
93% match

Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, ... (Lecture Notes in Computer Science, 6324)

Springer

£44.99 21 Apr 2026
Foundations of Software Science and Computational Structures: 15th International Conference, FOSSACS 2012, Held as Part of the European Joint ... (Lecture Notes in Computer Science, 7213)
93% match

Foundations of Software Science and Computational Structures: 15th International Conference, FOSSACS 2012, Held as Part of the European Joint ... (Lecture Notes in Computer Science, 7213)

Springer

£42.08 23 Apr 2026
Modula-2 for Pascal Programmers (Springer Books on Professional Computing)
93% match

Modula-2 for Pascal Programmers (Springer Books on Professional Computing)

Springer

£76.42 05 May 2026
Theories of Programming: The Life and Works of Tony Hoare (ACM Collection II)
93% match

Theories of Programming: The Life and Works of Tony Hoare (ACM Collection II)

Morgan & Claypool

£43.94 16 Feb 2026
Proceedings of International Conference on Computational Intelligence and Data Engineering: ICCIDE 2017: 9 (Lecture Notes on Data Engineering and Communications Technologies, 9)
93% match

Proceedings of International Conference on Computational Intelligence and Data Engineering: ICCIDE 2017: 9 (Lecture Notes on Data Engineering and Communications Technologies, 9)

Springer

£153.11 07 Feb 2026
Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based ... Information and Communication Technology, 81)
93% match

Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based ... Information and Communication Technology, 81)

Springer

£77.21 25 Apr 2026
Computer-Aided Reasoning: ACL2 Case Studies: 4 (Advances in Formal Methods, 4)
93% match

Computer-Aided Reasoning: ACL2 Case Studies: 4 (Advances in Formal Methods, 4)

Springer

£166.08 15 Feb 2026