£74.84

Springer Bibliography on Abstract Data Types: 68 (Informatik-Fachberichte, 68)

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

View at Amazon

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

This is the usual price. Wait for it to drop, or tell us your number.

£75 today · usual range £0–£0 · best ever £48

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

Historical
Generating forecast...
£89.99 £43.59 £53.72 £63.84 £73.96 £84.08 £94.21 23 May 2024 28 October 2024 04 April 2025 09 September 2025 14 February 2026

Price Distribution

Price distribution over 633 days • 4 price ranges

Days at Price
Current Price
26 days 135 days 206 days · current 266 days 0 67 133 200 266 £48-56 £65-73 £73-82 £82-90 Days at Price

Price Analysis

Most common range: £82-90 (266 days, 42.0%)

Price range: £48 - £90

Price levels: 4 price ranges over 633 days

Description

It will not be our purpose in this chapter to give an introduction to the field of abstract data types proper. There are many such introductions - see the references in the bibliography. We intend rather to provide a beginner's guide to the 870 papers cited there. For experts, the 1 i st of those programmi ng languages and systems which appear in the titles should prove useful. We shall not recommend one single paper as a starting point but mention several papers which cover various aspects of the theory. Historically, the papers of [PARNAS 70] and [HOARE 72] are generally regarded as the origins of the field. Parnas introduced the principle of 'information hiding' and Hoare emphasized the distinction between an abstract object and it's concrete representati on. An early survey on specifi cation techni ques for data abstractions is [LISKOV/ZILLES 75]. The starting point for the tremendous expansion of work on algebraically spe cified abstract data types was, in our OplnlOn, John Guttag's thesis [GUTTAG 75]. This work was superseded by [GUTTAG/HORNING 78], which is easier to come by. We woul d also strongl y recommend to survey [GUTTAG/HOROWITZ/MUSSER 76a and 76b] for insights into the techniques of algebraically specifiing data types and its impact on software validation. For german speakers we would recommend [KREOWSKI 78] or [KLAEREN 83] which pro vide excellent introductions.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
01 May 1983
Listed Since
21 February 2011

Barcode

No barcode data available

Similar Products You Might Like

Algebraic Foundations of Systems Specification (IFIP State-of-the-Art Reports)
95% match

Algebraic Foundations of Systems Specification (IFIP State-of-the-Art Reports)

Springer

£42.08 21 Feb 2026
Thinking About Programs (ACM Books)
95% match

Thinking About Programs (ACM Books)

£41.32 01 Feb 2026
Isomorphisms of Types: from ?-calculus to information retrieval and language design (Progress in Theoretical Computer Science)
94% match

Isomorphisms of Types: from ?-calculus to information retrieval and language design (Progress in Theoretical Computer Science)

Birkhauser

£72.50 26 Feb 2026
Advanced Topics in Types and Programming Languages
94% match

Advanced Topics in Types and Programming Languages

£57.60 25 Jan 2026
Basic Simple Type Theory: 42 (Cambridge Tracts in Theoretical Computer Science, Series Number 42)
94% match

Basic Simple Type Theory: 42 (Cambridge Tracts in Theoretical Computer Science, Series Number 42)

Cambridge University Press

£87.95 19 Apr 2026
Starthilfe Informatik
94% match

Starthilfe Informatik

Vieweg+Teubner Verlag

£42.99 05 Apr 2026
Conceptual Modeling of Information Systems
94% match

Conceptual Modeling of Information Systems

Springer

£37.39 07 Mar 2026
Type Theory and Formal Proof: An Introduction
94% match

Type Theory and Formal Proof: An Introduction

Cambridge University Press

£65.49 17 Mar 2026
Datenstrukturen objektorientiert mit Modula-2
94% match

Datenstrukturen objektorientiert mit Modula-2

Vieweg+Teubner Verlag

£42.99 31 Mar 2026
Grundlagen der Informatik: für das Nebenfachstudium
94% match

Grundlagen der Informatik: für das Nebenfachstudium

Vieweg+Teubner Verlag

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

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

Springer

£63.54 27 Feb 2026
Program Design Calculi: 118 (NATO ASI Subseries F:, 118)
94% 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)
94% match

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

Springer

£151.65 09 Feb 2026
Types & Programming Languages (The MIT Press)
94% match

Types & Programming Languages (The MIT Press)

MIT Press

£64.89 12 Jan 2026
Software Engineering with OBJ: Algebraic Specification in Action: 2 (Advances in Formal Methods, 2)
94% match

Software Engineering with OBJ: Algebraic Specification in Action: 2 (Advances in Formal Methods, 2)

Springer

£146.45 14 Jan 2026
Software Engineering with OBJ: Algebraic Specification in Action: 2 (Advances in Formal Methods, 2)
94% match

Software Engineering with OBJ: Algebraic Specification in Action: 2 (Advances in Formal Methods, 2)

Springer

£164.84 20 Apr 2026
Formal Concept Analysis: Mathematical Foundations
94% match

Formal Concept Analysis: Mathematical Foundations

Springer

£46.39 22 Feb 2026
Algebraische Spezifikation: Eine Einführung
94% match

Algebraische Spezifikation: Eine Einführung

Springer

£46.95 07 Mar 2026
Hiroakira Ono on Substructural Logics: 23 (Outstanding Contributions to Logic, 23)
94% match

Hiroakira Ono on Substructural Logics: 23 (Outstanding Contributions to Logic, 23)

Springer

£97.00 24 Feb 2026
Theoretical Aspects of Computing – ICTAC 2021: 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8–10, 2021, Proceedings
94% match

Theoretical Aspects of Computing – ICTAC 2021: 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8–10, 2021, Proceedings

Springer

£59.96 12 Mar 2026
Formal Semantics in Modern Type Theories (Cognitive Science: Logic Linguistics and Computer Science Set, 2)
94% match

Formal Semantics in Modern Type Theories (Cognitive Science: Logic Linguistics and Computer Science Set, 2)

Wiley

£114.59 11 Mar 2026
Formal Methods: State of the Art and New Directions
94% match

Formal Methods: State of the Art and New Directions

Springer

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

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

Springer

£76.02 20 Apr 2026
Mathematics in Programming
94% match

Mathematics in Programming

Springer

£49.90 15 Feb 2026