£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 10 day(s) ago - will refresh soon

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

Historical
Generating forecast…
£42.99 £40.84 £41.70 £42.56 £43.42 £44.28 £45.14 26 April 2026 16 May 2026 05 June 2026 25 June 2026 15 July 2026

Price Distribution

Price distribution over 81 days • 1 price levels

Days at Price
81 days 0 20 41 61 81 £43 Days at Price

Price Analysis

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

Price range: £43 - £43

Price levels: 1 different prices over 81 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.60 15 Jul 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

£49.10 15 Jul 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.90 15 Jul 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

£64.97 29 Jun 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.76 03 Jul 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 01 Jul 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.42 16 Jul 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

£229.48 24 Jun 2026
Programmiermethodik: 93 (Heidelberger Taschenbücher, 93)
96% match

Programmiermethodik: 93 (Heidelberger Taschenbücher, 93)

Springer

£46.99 16 Jul 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

£111.74 07 Jul 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

£108.00 16 Jul 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.52 16 Jul 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

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

£57.06 15 Jul 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.49 15 Jul 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

£79.01 03 Jul 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

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

£68.49 02 Jul 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

£76.52 01 Jul 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

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

£73.46 03 Jul 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

£87.37 03 Jul 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

£59.64 01 Jul 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

£78.24 02 Jul 2026