Breaking News!
60% Off the Hottest Halloween Costumes & Accessories

Logic-Based Program Synthesis and Transformation

Best Price (Coupon Required):
Buy Logic-Based Program Synthesis and Transformation for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.

Set a price drop alert to never miss an offer.

1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
$39.99 $39.99

10% OFF
This deals requires coupon
$36.00
See Site In stock Visit Store

Product Details

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783030138370
Condition
New
Product Description

This book constitutes the thoroughly refereed post-conference proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2018, held in Frankfurt/Main, Germany, in September 2018. The 11 revised full papers were carefully reviewed and selected from 29 submissions. In addition to the 11 papers, this volume includes 3 abstracts of invited talks and 2 abstracts of invited tutorials. The papers are grouped into the following topics: analysis of term rewriting; logic-based distributed/concurrent programming; analysis of logic programming; and program analysis.

Available Colors
Available Sizes

Reviews

0
0 reviews
5 stars
4 stars
3 stars
2 stars
1 star

Questions & Answers

Similar Products

Food Authentication

Food Authentication

$129.00
Planning and Scheduling in Manufacturing and Services

Planning and Scheduling in Manufacturing and Services

$54.99
Rigid Cohomology over Laurent Series Fields

Rigid Cohomology over Laurent Series Fields

$89.00
Repetitorium Palliativmedizin

Repetitorium Palliativmedizin

$49.99
Application of Integrable Systems to Phase Transitions

Application of Integrable Systems to Phase Transitions

$54.99
Equilibrium, Markets and Dynamics

Equilibrium, Markets and Dynamics

$84.99
Mickey Mouse Numbers in World History

Mickey Mouse Numbers in World History

$39.99
Understanding Narrative Identity Through Lesbian and Gay Youth

Understanding Narrative Identity Through Lesbian and Gay Youth

$54.99
Ethiopian Yearbook of International Law 2017

Ethiopian Yearbook of International Law 2017

$109.99
Einstellungen und Verhalten in der empirischen Sozialforschung

Einstellungen und Verhalten in der empirischen Sozialforschung

$64.99
Cooperative Information Agents III

Cooperative Information Agents III

$39.99
Designing Computer-Based Learning Materials

Designing Computer-Based Learning Materials

$84.99
Surviving Your Academic Job Hunt

Surviving Your Academic Job Hunt

$24.99
The Impact of a Regional Business School on its Communities

The Impact of a Regional Business School on its Communities

$139.00
Reputationsmanagement

Reputationsmanagement

$17.99
Brgerschaftliches Engagement an Schulen

Brgerschaftliches Engagement an Schulen

$49.99
Colorectal Cancer

Colorectal Cancer

$84.99
Millimeter-Wave Waveguides

Millimeter-Wave Waveguides

$84.99
Algorithms for Solving Common Fixed Point Problems

Algorithms for Solving Common Fixed Point Problems

$129.99
The Sulphur Cap in Maritime Supply Chains

The Sulphur Cap in Maritime Supply Chains

$54.99
Artificial Neural Networks and Machine Learning  ICANN 2021

Artificial Neural Networks and Machine Learning ICANN 2021

$109.99
Functional Thinking for Value Creation

Functional Thinking for Value Creation

$219.99
Teaching Reflective Learning in Higher Education

Teaching Reflective Learning in Higher Education

$99.00
Introductory Computer Forensics

Introductory Computer Forensics

$119.99
Fish Diseases

Fish Diseases

$84.99
Encyclopaedia of Scientific Units, Weights and Measures

Encyclopaedia of Scientific Units, Weights and Measures

$329.99
Temperature-dependent Deformation and Fracture Behavior of a Talcum-filled Co-polymer

Temperature-dependent Deformation and Fracture Behavior of a Talcum-filled Co-polymer

$39.99
Watershed Erosion Processes

Watershed Erosion Processes

$159.99
Das agile Mindset

Das agile Mindset

$39.99
Werte und Metaphern in der Unternehmenskommunikation

Werte und Metaphern in der Unternehmenskommunikation

$29.99
Recent Trends in Signal and Image Processing

Recent Trends in Signal and Image Processing

$109.99
Applied Survival Analysis Using R

Applied Survival Analysis Using R

$59.99
Mathematical Foundations of Big Data Analytics

Mathematical Foundations of Big Data Analytics

$37.99
Rundungsfehler

Rundungsfehler

$49.99
Herzinsuffizienz und Digitaliswirkungen

Herzinsuffizienz und Digitaliswirkungen

$59.99
Semiconductor Photovoltaic Cells

Semiconductor Photovoltaic Cells

$149.00
Das deutsche Luftbildwesen / Die Technik des Luftbildwesens

Das deutsche Luftbildwesen / Die Technik des Luftbildwesens

$59.99
Global Corruption from a Geographic Perspective

Global Corruption from a Geographic Perspective

$129.00
Realoptionen in der Unternehmenspraxis

Realoptionen in der Unternehmenspraxis

$89.99
EU Islands and the Clean Energy Transition

EU Islands and the Clean Energy Transition

$49.99
previous
next