£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 checked 6 days ago

View at Amazon

Price History & Forecast

Last 85 days • 85 data points (No recent data available)

Historical
Generating forecast...
£42.99 £40.84 £41.70 £42.56 £43.42 £44.28 £45.14 24 January 2026 14 February 2026 07 March 2026 28 March 2026 18 April 2026

Price Distribution

Price distribution over 85 days • 1 price levels

Days at Price
85 days 0 21 43 64 85 £43 Days at Price

Price Analysis

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

Price range: £43 - £43

Price levels: 1 different prices over 85 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

Programming Languages and Systems: 20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings: 13658 (Lecture Notes in Computer Science, 13658)
98% 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)
98% 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
Hiroakira Ono on Substructural Logics: 23 (Outstanding Contributions to Logic, 23)
98% match

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

Springer

£107.61 19 Apr 2026
Programmiermethodik: 93 (Heidelberger Taschenbücher, 93)
98% match

Programmiermethodik: 93 (Heidelberger Taschenbücher, 93)

Springer

£46.99 20 Apr 2026
V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics: 24 (Outstanding Contributions to Logic, 24)
98% match

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

Springer

£87.93 18 Apr 2026
Pervasive Digital Services for People’s Well-Being, Inclusion and Sustainable Development: 24th IFIP WG 6.11 Conference on e-Business, e-Services and ... (Lecture Notes in Computer Science, 16079)
98% match

Pervasive Digital Services for People’s Well-Being, Inclusion and Sustainable Development: 24th IFIP WG 6.11 Conference on e-Business, e-Services and ... (Lecture Notes in Computer Science, 16079)

Springer

£75.84 31 Mar 2026
Programming Languages: 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings: 9889 (Lecture Notes in Computer Science, 9889)
98% 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
The Architecture and Archaeology of Modern Logic: Studies Dedicated to Göran Sundholm: 61 (Logic, Epistemology, and the Unity of Science, 61)
98% match

The Architecture and Archaeology of Modern Logic: Studies Dedicated to Göran Sundholm: 61 (Logic, Epistemology, and the Unity of Science, 61)

Springer

£108.06 16 Mar 2026
Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I: 6198 (Lecture Notes in Computer Science, 6198)
98% match

Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I: 6198 (Lecture Notes in Computer Science, 6198)

Springer

£89.98 02 Apr 2026
Extreme-Scale Computing: A Practical Introduction with C++: 15 (CMS/CAIMS Books in Mathematics, 15)
98% match

Extreme-Scale Computing: A Practical Introduction with C++: 15 (CMS/CAIMS Books in Mathematics, 15)

Springer

£46.83 13 Apr 2026
Unlocking the Hidden Potentials of Organization Through Merging of Humans and Digitals: Volume 2 (Lecture Notes in Networks and Systems, 1681)
98% match

Unlocking the Hidden Potentials of Organization Through Merging of Humans and Digitals: Volume 2 (Lecture Notes in Networks and Systems, 1681)

Springer

£137.03 04 Apr 2026
Mathematics and Computing: ICMC 2022, Vellore, India, January 6–8: 415 (Springer Proceedings in Mathematics & Statistics, 415)
98% match

Mathematics and Computing: ICMC 2022, Vellore, India, January 6–8: 415 (Springer Proceedings in Mathematics & Statistics, 415)

Springer

£127.00 08 Apr 2026
Unlocking the Hidden Potentials of Organization Through Merging of Humans and Digitals: Volume 1 (Lecture Notes in Networks and Systems, 1680)
98% match

Unlocking the Hidden Potentials of Organization Through Merging of Humans and Digitals: Volume 1 (Lecture Notes in Networks and Systems, 1680)

Springer

£128.45 04 Apr 2026
Advances in Production Management Systems. Smart Manufacturing and Logistics Systems: Turning Ideas into Action: IFIP WG 5.7 International Conference, ... and Communication Technology, 663)
98% match

Advances in Production Management Systems. Smart Manufacturing and Logistics Systems: Turning Ideas into Action: IFIP WG 5.7 International Conference, ... and Communication Technology, 663)

Springer

£76.50 04 Apr 2026
Mathematics and Computation: IACMC 2022, Zarqa, Jordan, May 11–13: 418 (Springer Proceedings in Mathematics & Statistics, 418)
98% match

Mathematics and Computation: IACMC 2022, Zarqa, Jordan, May 11–13: 418 (Springer Proceedings in Mathematics & Statistics, 418)

Springer

£123.23 03 Apr 2026
Introduction to Scientific Computing and Data Analysis: 13 (Texts in Computational Science and Engineering, 13)
98% match

Introduction to Scientific Computing and Data Analysis: 13 (Texts in Computational Science and Engineering, 13)

Springer

£49.74 08 Apr 2026
Applied Computing for Software and Smart Systems: Proceedings of ACSS 2025 (Lecture Notes in Networks and Systems, 1860)
98% match

Applied Computing for Software and Smart Systems: Proceedings of ACSS 2025 (Lecture Notes in Networks and Systems, 1860)

Springer

£219.99 17 Apr 2026
Advances in Artificial Systems for Logistics Engineering III: 180 (Lecture Notes on Data Engineering and Communications Technologies, 180)
98% match

Advances in Artificial Systems for Logistics Engineering III: 180 (Lecture Notes on Data Engineering and Communications Technologies, 180)

Springer

£114.01 05 Apr 2026
Programming Languages and Systems: 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings: 10695 (Lecture Notes in Computer Science, 10695)
98% match

Programming Languages and Systems: 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings: 10695 (Lecture Notes in Computer Science, 10695)

Springer

£42.21 14 Apr 2026
Computer Applications: 38th CCF Conference of Computer Applications, CCF NCCA 2023, Suzhou, China, July 16–20, 2023, Proceedings, Part I: 1959 ... in Computer and Information Science, 1959)
98% match

Computer Applications: 38th CCF Conference of Computer Applications, CCF NCCA 2023, Suzhou, China, July 16–20, 2023, Proceedings, Part I: 1959 ... in Computer and Information Science, 1959)

Springer

£59.01 14 Apr 2026
Advances in Artificial Systems for Logistics Engineering: 135 (Lecture Notes on Data Engineering and Communications Technologies, 135)
98% match

Advances in Artificial Systems for Logistics Engineering: 135 (Lecture Notes on Data Engineering and Communications Technologies, 135)

Springer

£153.37 01 Apr 2026
Advances in Computing and Data Sciences: 6th International Conference, ICACDS 2022, Kurnool, India, April 22–23, 2022, Revised Selected Papers, Part ... in Computer and Information Science, 1613)
98% match

Advances in Computing and Data Sciences: 6th International Conference, ICACDS 2022, Kurnool, India, April 22–23, 2022, Revised Selected Papers, Part ... in Computer and Information Science, 1613)

Springer

£73.96 11 Apr 2026
Proceedings of the Ninth International Scientific Conference “Intelligent Information Technologies for Industry” (IITI’25), Volume 1 (Lecture Notes in Networks and Systems, 1762)
98% match

Proceedings of the Ninth International Scientific Conference “Intelligent Information Technologies for Industry” (IITI’25), Volume 1 (Lecture Notes in Networks and Systems, 1762)

Springer

£146.56 31 Mar 2026
Philosophy, Cognition and Pragmatics: 34 (Perspectives in Pragmatics, Philosophy & Psychology, 34)
98% match

Philosophy, Cognition and Pragmatics: 34 (Perspectives in Pragmatics, Philosophy & Psychology, 34)

Springer

£96.19 31 Mar 2026