Out of Stock

This item is currently unavailable

Springer A Theory of Objects (Monographs in Computer Science)

Out of Stock

Price data checked 1 day ago

View at Amazon

One email. No newsletter. No nudges.

Sold out. We send one email the moment it's back. Last time, that took just a day or two.

Out of stock 1 day · last in stock at £200

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 13 days • 13 data points

Historical
Generating forecast...
£199.99 £189.99 £193.99 £197.99 £201.99 £205.99 £209.99 25 May 2026 28 May 2026 31 May 2026 03 June 2026 06 June 2026

Price Distribution

Price distribution over 13 days • 1 price levels

Days at Price
13 days 0 3 7 10 13 £200 Days at Price

Price Analysis

Most common price: £200 (13 days, 100.0%)

Price range: £200 - £200

Price levels: 1 different prices over 13 days

Description

Procedural languages are generally well understood and their formal foundations cast in the forms of various lambda-calculi. For object- oriented languages however the situation is not as clear-cut. In this book the authors propose and develop a different approach by developing object calculi in which objects are treated as primitives. Using object calculi,the authors are able to explain both the semantics of objects and their typing rules and demonstrate how to develop all of the most important concepts of object-oriented programming languages: self, dynamic dispatch, classes, inheritance, protected and private methods, prototyping, subtyping, covariance and contravariance, and method specialization. Many researchers and graduate students will find this an important development of the underpinnings of object-oriented programming.

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
09 August 1996
Listed Since
12 February 2007

Barcode

No barcode data available

Similar Products You Might Like

The Object-Z Specification Language: 1 (Advances in Formal Methods, 1)
84% match

The Object-Z Specification Language: 1 (Advances in Formal Methods, 1)

Springer

£165.36 29 May 2026
Reverse Engineering of Object Oriented Code (Monographs in Computer Science)
82% match

Reverse Engineering of Object Oriented Code (Monographs in Computer Science)

Springer

£75.68 26 May 2026
Programming Language Concepts (Undergraduate Topics in Computer Science)
81% match

Programming Language Concepts (Undergraduate Topics in Computer Science)

Springer

£37.91 06 Jun 2026
Software Engineering and Environment: An Object-oriented Perspective (Software Science & Engineering)
81% match

Software Engineering and Environment: An Object-oriented Perspective (Software Science & Engineering)

Springer

£65.50 17 May 2026
Object-Oriented Behavioral Specifications: 371 (The Springer International Series in Engineering and Computer Science, 371)
81% match

Object-Oriented Behavioral Specifications: 371 (The Springer International Series in Engineering and Computer Science, 371)

Springer

£109.65 04 Jun 2026
Oberon-2 Programming with Windows
80% match

Oberon-2 Programming with Windows

Springer

£74.22 06 Jun 2026
Efficient Polymorphic Calls: 596 (The Springer International Series in Engineering and Computer Science, 596)
80% match

Efficient Polymorphic Calls: 596 (The Springer International Series in Engineering and Computer Science, 596)

Springer

£124.22 06 Jun 2026
Objects for Concurrent Constraint Programming: 426 (The Springer International Series in Engineering and Computer Science)
79% match

Objects for Concurrent Constraint Programming: 426 (The Springer International Series in Engineering and Computer Science)

Springer

£129.99 31 May 2026
Programming Concepts and Methods PROCOMET ’98: IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET ’98) 8–12 ... in Information and Communication Technology)
79% match

Programming Concepts and Methods PROCOMET ’98: IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET ’98) 8–12 ... in Information and Communication Technology)

Springer

£145.12 25 May 2026
Formal Methods for Open Object-based Distributed Systems: Volume 1 (IFIP Advances in Information and Communication Technology)
79% match

Formal Methods for Open Object-based Distributed Systems: Volume 1 (IFIP Advances in Information and Communication Technology)

Springer

£156.00 18 May 2026
An Introduction to Language Processing with Perl and Prolog: An Outline of Theories, Implementation, and Application with Special Consideration of English, French, and German (Cognitive Technologies)
79% match

An Introduction to Language Processing with Perl and Prolog: An Outline of Theories, Implementation, and Application with Special Consideration of English, French, and German (Cognitive Technologies)

Springer

£66.52 05 Jun 2026
Computational Artifacts: Towards a Philosophy of Computer Science (Theory and Applications of Computability)
79% match

Computational Artifacts: Towards a Philosophy of Computer Science (Theory and Applications of Computability)

Springer

£122.79 06 Jun 2026
Real-Time Object Uniform Design Methodology with UML
79% match

Real-Time Object Uniform Design Methodology with UML

Springer

£108.92 18 May 2026
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)
79% match

Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)

Springer

£39.06 01 Jun 2026
Algebraic Approaches to Program Semantics (Monographs in Computer Science)
78% match

Algebraic Approaches to Program Semantics (Monographs in Computer Science)

Springer

£64.54 26 May 2026
Modern Language Models and Computation: Theory with Applications
78% match

Modern Language Models and Computation: Theory with Applications

Springer

£74.05 24 May 2026
Object-Oriented Discrete-Event Simulation with Java: A Practical Introduction (Series in Computer Science)
78% match

Object-Oriented Discrete-Event Simulation with Java: A Practical Introduction (Series in Computer Science)

Springer

£108.23 01 Jun 2026
Principles of Object-Oriented Modeling and Simulation with Modelica 2.1
78% match

Principles of Object-Oriented Modeling and Simulation with Modelica 2.1

Wiley

£104.00 13 May 2026
Refinement in Z and Object-Z: Foundations and Advanced Applications
78% match

Refinement in Z and Object-Z: Foundations and Advanced Applications

Springer

£77.33 05 Jun 2026
Programming with Higher-Order Logic
78% match

Programming with Higher-Order Logic

Cambridge University Press

£32.17 26 May 2026
Practical OCaml
78% match

Practical OCaml

Apress

£48.12 01 Jun 2026
Multiparadigm Constraint Programming Languages (Cognitive Technologies)
78% match

Multiparadigm Constraint Programming Languages (Cognitive Technologies)

Springer

£60.40 05 Jun 2026
Advanced Debugging Methods: 568 (The Springer International Series in Engineering and Computer Science, 568)
78% match

Advanced Debugging Methods: 568 (The Springer International Series in Engineering and Computer Science, 568)

Springer

£73.31 21 May 2026
Formal Specification Techniques for Engineering Modular C Programs: 1 (International Series in Software Engineering, 1)
78% match

Formal Specification Techniques for Engineering Modular C Programs: 1 (International Series in Software Engineering, 1)

Springer

£129.99 30 May 2026