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) - Image 1

£44.76

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)

Name: 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)
Brand: Springer
Price: 44.76 GBP
Availability: InStock

Programming

This is the usual price. Wait for it to drop, or tell us your number.

£45 today · usual range £41–£45 · best ever £41

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

Historical

Generating forecast...

Price Distribution

Price distribution over 61 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £45 (44 days, 72.1%)

Price range: £41 - £45

Price levels: 2 different prices over 61 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
Category: Books > Subjects > Computing & Internet > Programming
Domain: Amazon UK
Release Date: 11 September 2022
Listed Since: 10 August 2022

Barcode

No barcode data available

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)

This is the usual price. Wait for it to drop, or tell us your number.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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)

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)

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)

Logic Synthesis for Field-Programmable Gate Arrays: 324 (The Springer International Series in Engineering and Computer Science, 324)

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)

Computational Science – ICCS 2022: 22nd International Conference, London, UK, June 21–23, 2022, Proceedings, Part III: 13352 (Lecture Notes in Computer Science, 13352)

Reachability Problems: 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17–21, 2022, Proceedings: 13608 (Lecture Notes in Computer Science, 13608)

Computational Science – ICCS 2022: 22nd International Conference, London, UK, June 21–23, 2022, Proceedings, Part II: 13351 (Lecture Notes in Computer Science, 13351)

Logic Synthesis and Optimization: 212 (The Springer International Series in Engineering and Computer Science, 212)

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)

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)

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)

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)

Systematic Innovation Partnerships with Artificial Intelligence and Information Technology: 22nd International TRIZ Future Conference, TFC 2022, ... and Communication Technology, 655)

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)

Advances and Trends in Artificial Intelligence. Theory and Practices in Artificial Intelligence: 35th International Conference on Industrial, ... (Lecture Notes in Computer Science, 13343)

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)

Logic and Architecture Synthesis (IFIP Advances in Information and Communication Technology)

Social Informatics: 13th International Conference, SocInfo 2022, Glasgow, UK, October 19–21, 2022, Proceedings: 13618 (Lecture Notes in Computer Science, 13618)

Separation Logic for High-level Synthesis (Springer Theses)

Separation Logic for High-level Synthesis (Springer Theses)

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)

Computer Algebra in Scientific Computing: 24th International Workshop, CASC 2022, Gebze, Turkey, August 22–26, 2022, Proceedings: 13366 (Lecture Notes in Computer Science, 13366)

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)