We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£44.39
This is the most expensive it has ever been. Walk away.
£44 today · previous high £44 · all-time low £44
Springer Logic-Based Program Synthesis and Transformation: 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21–23, 2022, Proceedings: 13474 (Lecture Notes in Computer Science, 13474)
We'll watch every seller, every day. One email when your price arrives.
Price History & Forecast
Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.
Last 29 days · 29 data points (no recent data)
Historical
Generating forecast…
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
when this has been cheap or pricey
↑ Forecast
where the price is heading next
where the price is heading next
↓ Statistics
all-time high & low, recent range
all-time high & low, recent range
↑ Price alert
name your number, we'll email you
name your number, we'll email you
Price Distribution
Price distribution over 29 days • 1 price levels
Price Analysis
Most common price: £44 (29 days, 100.0%)
Price range: £44 - £44
Price levels: 1 different prices over 29 days
Description
This book constitutes the refereed proceedings of the 32nd International Symposium on Logic-Based Synthesis and Transformation, LOPSTR 2022, which was held during September 21-23, 2022. The 8 full papers were selected from 17 submissions and cover different aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large.
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 303116766X
- Domain
- Amazon UK
- Release Date
- 11 September 2022
- Listed Since
- 10 August 2022
Barcode
No barcode data available
Similar Products You Might Like
92% match
Logic-Based Program Synthesis and Transformation: 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings: 13290 (Lecture Notes in Computer Science, 13290)
Springer
£43.24
09 Sep 2026
82% match
Graph Transformation: 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7–8, 2022, Proceedings: 13349 (Lecture Notes in Computer Science, 13349)
Springer
£42.80
12 Sep 2026
80% match
Engineering of Computer-Based Systems: 8th International Conference, ECBS 2023, Västerås, Sweden, October 16–18, 2023, Proceedings: 14390 (Lecture Notes in Computer Science, 14390)
Springer
£49.14
09 Sep 2026
80% match
Logic Synthesis for Field-Programmable Gate Arrays: 324 (The Springer International Series in Engineering and Computer Science, 324)
Springer
£86.57
24 Oct 2026
80% match
Interactive Storytelling: 15th International Conference on Interactive Digital Storytelling, ICIDS 2022, Santa Cruz, CA, USA, December 4–7, 2022, ... (Lecture Notes in Computer Science, 13762)
Springer
£73.54
23 Oct 2026
80% match
Computational Science – ICCS 2022: 22nd International Conference, London, UK, June 21–23, 2022, Proceedings, Part III: 13352 (Lecture Notes in Computer Science, 13352)
Springer
£95.30
20 Oct 2026
79% match
Reachability Problems: 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17–21, 2022, Proceedings: 13608 (Lecture Notes in Computer Science, 13608)
Springer
£45.16
21 Oct 2026
79% match
Computational Science – ICCS 2022: 22nd International Conference, London, UK, June 21–23, 2022, Proceedings, Part II: 13351 (Lecture Notes in Computer Science, 13351)
Springer
£77.49
22 Oct 2026
79% match
Logic Synthesis and Optimization: 212 (The Springer International Series in Engineering and Computer Science, 212)
Springer
£113.76
23 Oct 2026
79% match
Mathematics and Computation in Music: 8th International Conference, MCM 2022, Atlanta, GA, USA, June 21–24, 2022, Proceedings: 13267 (Lecture Notes in Computer Science, 13267)
Springer
£61.94
23 Oct 2026
79% match
Product-Focused Software Process Improvement: 23rd International Conference, PROFES 2022, Jyväskylä, Finland, November 21–23, 2022, Proceedings: 13709 (Lecture Notes in Computer Science, 13709)
Springer
£73.43
23 Oct 2026
79% match
From Data to Models and Back: 10th International Symposium, DataMod 2021, Virtual Event, December 6–7, 2021, Revised Selected Papers: 13268 (Lecture Notes in Computer Science, 13268)
Springer
£44.95
08 Sep 2026
79% match
Advances in Information and Computer Security: 17th International Workshop on Security, IWSEC 2022, Tokyo, Japan, August 31 – September 2, 2022, ... (Lecture Notes in Computer Science, 13504)
Springer
£52.28
10 Sep 2026
79% match
Systematic Innovation Partnerships with Artificial Intelligence and Information Technology: 22nd International TRIZ Future Conference, TFC 2022, ... and Communication Technology, 655)
Springer
£55.44
23 Oct 2026
79% match
Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, ... (Lecture Notes in Computer Science, 10895)
Springer
£69.59
17 Oct 2026
79% match
Advances and Trends in Artificial Intelligence. Theory and Practices in Artificial Intelligence: 35th International Conference on Industrial, ... (Lecture Notes in Computer Science, 13343)
Springer
£59.56
22 Oct 2026
79% match
Computer Aided Systems Theory – EUROCAST 2022: 18th International Conference, Las Palmas de Gran Canaria, Spain, February 20–25, 2022, Revised ... (Lecture Notes in Computer Science, 13789)
Springer
£73.32
22 Oct 2026
78% match
Logic and Architecture Synthesis (IFIP Advances in Information and Communication Technology)
Springer
£127.11
26 Oct 2026
78% match
Social Informatics: 13th International Conference, SocInfo 2022, Glasgow, UK, October 19–21, 2022, Proceedings: 13618 (Lecture Notes in Computer Science, 13618)
Springer
£39.90
12 Sep 2026
78% match
Separation Logic for High-level Synthesis (Springer Theses)
Springer
£76.42
24 Oct 2026
78% match
Separation Logic for High-level Synthesis (Springer Theses)
Springer
£76.42
24 Oct 2026
78% match
Descriptional Complexity of Formal Systems: 26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22–24, 2025, Proceedings: 15759 (Lecture Notes in Computer Science, 15759)
Springer
£92.22
23 Oct 2026
78% match
Computer Algebra in Scientific Computing: 24th International Workshop, CASC 2022, Gebze, Turkey, August 22–26, 2022, Proceedings: 13366 (Lecture Notes in Computer Science, 13366)
Springer
£61.07
27 Oct 2026
78% match
Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part I: 15054 (Lecture Notes in Computer Science, 15054)
Springer
£92.21
29 Aug 2026