Your data. Your choice.

If you select «Essential cookies only», we’ll use cookies and similar technologies to collect information about your device and how you use our website. We need this information to allow you to log in securely and use basic functions such as the shopping cart.

By accepting all cookies, you’re allowing us to use this data to show you personalised offers, improve our website, and display targeted adverts on our website and on other websites or apps. Some data may also be shared with third parties and advertising partners as part of this process.

Legal noticePrivacy notice

Logic-Based Program Synthesis and Transformation

English, 2015
Price in EUR including VAT
Ratings
BrandMore from Springer
Delivered between Fri, 10.4. and Wed, 15.4.
More than 10 pieces in stock at supplier
free shipping

Product details

The book "Logic-Based Program Synthesis and Transformation" is a comprehensive collection of revised contributions from the 24th International Symposium on this topic, which took place in 2014 in Canterbury, United Kingdom. It includes 18 carefully selected and peer-reviewed full texts, as well as two invited talks, derived from a total of 34 submitted papers. The LOPSTR series aims to promote international research and collaboration in the field of logic-based program development. The contributions are thematically organized and address various aspects such as program analysis and transformation, security issues, program verification and synthesis, as well as semantic questions in logic programming. This book is a valuable resource for researchers and practitioners engaged with the latest developments in logic-based programming and its applications.

Key specifications

Language
English
Year
2015
Number of pages
333
Book cover
Paperback

General information

Item number
15901697
Publisher
Springer
Category
Reference books
Release date
27.5.2021

Book properties

Language
English
Year
2015
Number of pages
333
Book cover
Paperback

Voluntary climate contribution

CO₂ emissions
0,25 kg
Climate contribution
EUR 0,12

Legal Notice

Product Safety

No right of return
24 Months statutory warranty
Legal concerns

Compare products

Goes with

Reviews & Ratings

Statutory warranty score

How often does a product of this brand in the «Reference books» category have a defect within the first 24 months?

Source: Galaxus
  • 1.Rheinwerk
    0 %
  • 1.S.Fischer
    0 %
  • 1.Springer
    0 %
  • 1.Stämpfli
    0 %
  • 1.Ullstein
    0 %

Statutory warranty case duration

How many working days on average does it take to process a warranty claim from when it arrives at the service centre until it’s back with the customer?

Source: Galaxus
  • Springer
    Not enough data
  • An der Ruhr
    Not enough data
  • Anaconda
    Not enough data
  • Ariston
    Not enough data
  • Avery Publishing Group
    Not enough data

Unfortunately, we don't have enough data for this category yet.

Return rate

How often is a product of this brand in the «Reference books» category returned?

Source: Galaxus
  • 53.Campus
    1,1 %
  • 53.Penguin Random House
    1,1 %
  • 53.Springer
    1,1 %
  • 56.Orell Füssli
    1,2 %
  • 56.Pearson Education
    1,2 %
Source: Galaxus