£42.99

Springer Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983: 164 (Lecture Notes in Computer Science, 164)

Price data last checked 51 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.

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

Historical
Generating forecast...
£42.99 £40.84 £41.70 £42.56 £43.42 £44.28 £45.14 10 March 2026 19 March 2026 29 March 2026 08 April 2026 18 April 2026

Price Distribution

Price distribution over 40 days • 1 price levels

Days at Price
40 days 0 10 20 30 40 £43 Days at Price

Price Analysis

Most common price: £43 (40 days, 100.0%)

Price range: £43 - £43

Price levels: 1 different prices over 40 days

Description

No Logics of Programs Read a customer review or write one .

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
01 February 1984
Listed Since
22 October 2007

Barcode

No barcode data available

Similar Products You Might Like

The Computational Complexity of Logical Theories: 718 (Lecture Notes in Mathematics, 718)
97% match

The Computational Complexity of Logical Theories: 718 (Lecture Notes in Mathematics, 718)

Springer

£44.55 15 Apr 2026
Programming Languages and Systems: 20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings: 13658 (Lecture Notes in Computer Science, 13658)
97% match

Programming Languages and Systems: 20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings: 13658 (Lecture Notes in Computer Science, 13658)

Springer

£48.73 16 Apr 2026
Automata, Languages and Programming: 13th International Colloquium, Rennes, France, July 15-19, 1986. Proceedings: 226 (Lecture Notes in Computer Science, 226)
96% match

Automata, Languages and Programming: 13th International Colloquium, Rennes, France, July 15-19, 1986. Proceedings: 226 (Lecture Notes in Computer Science, 226)

Springer

£42.99 17 Apr 2026
Programming Languages and Systems: 23rd Asian Symposium, APLAS 2025, Bengaluru, India, October 27–30, 2025, Proceedings (Lecture Notes in Computer Science, 16201)
96% match

Programming Languages and Systems: 23rd Asian Symposium, APLAS 2025, Bengaluru, India, October 27–30, 2025, Proceedings (Lecture Notes in Computer Science, 16201)

Springer

£59.62 13 Feb 2026
Intelligent Computer Mathematics: 18th International Conference, CICM 2025, Brasilia, Brazil, October 6–10, 2025, Proceedings (Lecture Notes in Computer Science, 16136)
96% match

Intelligent Computer Mathematics: 18th International Conference, CICM 2025, Brasilia, Brazil, October 6–10, 2025, Proceedings (Lecture Notes in Computer Science, 16136)

Springer

£97.75 01 Mar 2026
Logics and Type Systems in Theory and Practice: Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday: 14560 (Lecture Notes in Computer Science, 14560)
96% match

Logics and Type Systems in Theory and Practice: Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday: 14560 (Lecture Notes in Computer Science, 14560)

Springer

£94.25 17 Feb 2026
Programming Languages: 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings: 9889 (Lecture Notes in Computer Science, 9889)
96% 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
Mathematics and Logics in Computer Science: Proceedings of ICMLCS 2025 (Algorithms for Intelligent Systems)
96% match

Mathematics and Logics in Computer Science: Proceedings of ICMLCS 2025 (Algorithms for Intelligent Systems)

Springer

£249.99 04 Feb 2026
Programmiermethodik: 93 (Heidelberger Taschenbücher, 93)
96% match

Programmiermethodik: 93 (Heidelberger Taschenbücher, 93)

Springer

£46.99 20 Apr 2026
Advances in Applied Logics: Applications of Logic for Philosophy, Mathematics and Information Technology: 243 (Intelligent Systems Reference Library, 243)
96% match

Advances in Applied Logics: Applications of Logic for Philosophy, Mathematics and Information Technology: 243 (Intelligent Systems Reference Library, 243)

Springer

£113.25 05 Mar 2026
Hiroakira Ono on Substructural Logics: 23 (Outstanding Contributions to Logic, 23)
96% match

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

Springer

£107.61 19 Apr 2026
Einführungskursus in die dynamische Programmierung: 6 (Lecture Notes in Economics and Mathematical Systems, 6)
96% match

Einführungskursus in die dynamische Programmierung: 6 (Lecture Notes in Economics and Mathematical Systems, 6)

Springer

£45.95 20 Apr 2026
Mathematics and Logics in Computer Science: Proceedings of ICMLCS 2024 (Algorithms for Intelligent Systems)
96% match

Mathematics and Logics in Computer Science: Proceedings of ICMLCS 2024 (Algorithms for Intelligent Systems)

Springer

£178.17 30 Jan 2026
Logic, Language, Information, and Computation: 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings: 13923 (Lecture Notes in Computer Science, 13923)
96% match

Logic, Language, Information, and Computation: 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings: 13923 (Lecture Notes in Computer Science, 13923)

Springer

£56.69 16 Apr 2026
CLU: Reference Manual: 114 (Lecture Notes in Computer Science, 114)
96% match

CLU: Reference Manual: 114 (Lecture Notes in Computer Science, 114)

Springer

£44.96 18 Apr 2026
Advanced Intelligent Computing Technology and Applications: 21st International Conference, ICIC 2025, Ningbo, China, July 26–29, 2025, Proceedings, ... in Computer and Information Science, 2568)
96% match

Advanced Intelligent Computing Technology and Applications: 21st International Conference, ICIC 2025, Ningbo, China, July 26–29, 2025, Proceedings, ... in Computer and Information Science, 2568)

Springer

£70.83 23 Feb 2026
Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic: 17 (Logic, Epistemology, and the Unity of Science, 17)
96% match

Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic: 17 (Logic, Epistemology, and the Unity of Science, 17)

Springer

£150.03 18 Apr 2026
Advanced Intelligent Computing Technology and Applications: 21st International Conference, ICIC 2025, Ningbo, China, July 26–29, 2025, Proceedings, ... in Computer and Information Science, 2564)
96% match

Advanced Intelligent Computing Technology and Applications: 21st International Conference, ICIC 2025, Ningbo, China, July 26–29, 2025, Proceedings, ... in Computer and Information Science, 2564)

Springer

£71.23 22 Feb 2026
V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics: 24 (Outstanding Contributions to Logic, 24)
96% match

V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics: 24 (Outstanding Contributions to Logic, 24)

Springer

£99.18 18 Feb 2026
Managing Learning Enterprises: Challenges, Controversies and Opportunities: 14 (Knowledge Management and Organizational Learning, 14)
96% match

Managing Learning Enterprises: Challenges, Controversies and Opportunities: 14 (Knowledge Management and Organizational Learning, 14)

Springer

£45.11 15 Apr 2026
Advanced Intelligent Computing Technology and Applications: 21st International Conference, ICIC 2025, Ningbo, China, July 26–29, 2025, Proceedings, ... in Computer and Information Science, 2571)
96% match

Advanced Intelligent Computing Technology and Applications: 21st International Conference, ICIC 2025, Ningbo, China, July 26–29, 2025, Proceedings, ... in Computer and Information Science, 2571)

Springer

£71.13 24 Feb 2026
Advanced Intelligent Computing Technology and Applications: 21st International Conference, ICIC 2025, Ningbo, China, July 26–29, 2025, Proceedings, ... in Computer and Information Science, 2574)
96% match

Advanced Intelligent Computing Technology and Applications: 21st International Conference, ICIC 2025, Ningbo, China, July 26–29, 2025, Proceedings, ... in Computer and Information Science, 2574)

Springer

£70.83 24 Feb 2026
Innovative Intelligent Industrial Production and Logistics: 4th International Conference, IN4PL 2023, Rome, Italy, November 15–17, 2023, Proceedings: ... in Computer and Information Science, 1886)
96% match

Innovative Intelligent Industrial Production and Logistics: 4th International Conference, IN4PL 2023, Rome, Italy, November 15–17, 2023, Proceedings: ... in Computer and Information Science, 1886)

Springer

£63.40 17 Feb 2026
Advanced Intelligent Computing Technology and Applications: 21st International Conference, ICIC 2025, Ningbo, China, July 26–29, 2025, Proceedings, ... in Computer and Information Science, 2572)
96% match

Advanced Intelligent Computing Technology and Applications: 21st International Conference, ICIC 2025, Ningbo, China, July 26–29, 2025, Proceedings, ... in Computer and Information Science, 2572)

Springer

£70.83 21 Feb 2026