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 $40.50 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: $44.99 - $44.99
BEST PRICE

Single Product Purchase

$40.50
@ 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
$44.99 $44.99

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

Product Details

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

This book constitutes the refereed proceedings of the 31st International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2021, which was held during September 7-8, 2021.* The 8 papers presented in this volume were carefully reviewed and selected from a total of 15 reviewed submissions. Additionally, the book also contains 1 full-length invited talk. *Conference was held as a hybrid event due to the COVID-19 pandemic.

Available Colors
Available Sizes

Reviews

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

Questions & Answers

Similar Products

Reboot Culture

Reboot Culture

$129.99
Structural Control

Structural Control

$39.99
See, Touch, Feel- A First Sensory Book by Roger Priddy

See, Touch, Feel- A First Sensory Book by Roger Priddy

$12.99
CGAL Arrangements and Their Applications

CGAL Arrangements and Their Applications

$54.99
Security, Privacy, and Anonymity in Computation, Communication, and Storage

Security, Privacy, and Anonymity in Computation, Communication, and Storage

$74.99
Brain Tumor Pathology: Current Diagnostic Hotspots and Pitfalls

Brain Tumor Pathology: Current Diagnostic Hotspots and Pitfalls

$169.99
Quantum Point Contacts and Quantum Wires

Quantum Point Contacts and Quantum Wires

$549.99
Beginning Groovy, Grails and Griffon

Beginning Groovy, Grails and Griffon

$49.99
Grundkurs Microsoft Dynamics AX

Grundkurs Microsoft Dynamics AX

$34.99
Vibrations and Impedances of Rectangular Plates with Free Boundaries

Vibrations and Impedances of Rectangular Plates with Free Boundaries

$109.99
Foundations of Java for ABAP Programmers

Foundations of Java for ABAP Programmers

$54.99
Smart Materials and Manufacturing Technologies for Sustainable Development

Smart Materials and Manufacturing Technologies for Sustainable Development

$279.99
Japans Development Assistance

Japans Development Assistance

$139.00
Algorithm Collections for Digital Signal Processing Applications Using Matlab

Algorithm Collections for Digital Signal Processing Applications Using Matlab

$109.99
Status und Position

Status und Position

$49.99
Affirming the Absurd in Harold Pinter

Affirming the Absurd in Harold Pinter

$54.99
Plasticity in Structural Engineering, Fundamentals and Applications

Plasticity in Structural Engineering, Fundamentals and Applications

$109.99
Artificial Neural Networks in Vehicular Pollution Modelling

Artificial Neural Networks in Vehicular Pollution Modelling

$169.99
Introduction to Seismology

Introduction to Seismology

$54.99
Peppa Pig: Peppa's Giant Pumpkin

Peppa Pig: Peppa's Giant Pumpkin

$5.99
Good Laboratory Practices for Forensic Chemistry

Good Laboratory Practices for Forensic Chemistry

$54.99
Coping with Financial Fragility and Systemic Risk

Coping with Financial Fragility and Systemic Risk

$169.99
Transportversicherung

Transportversicherung

$59.99
Architekturpraxis Baukonomie

Architekturpraxis Baukonomie

$19.99
The British Role in Iranian Domestic Politics (1951-1953)

The British Role in Iranian Domestic Politics (1951-1953)

$49.99
Understanding Health Determinants

Understanding Health Determinants

$129.00
Language as a Social Determinant of Health

Language as a Social Determinant of Health

$169.99
Microbial Products

Microbial Products

$84.99
Mathematical Physical Chemistry

Mathematical Physical Chemistry

$189.00
Mothers and King Baby

Mothers and King Baby

$54.99
Natural Language Communication with Pictorial Information Systems

Natural Language Communication with Pictorial Information Systems

$84.99
Fortschritte der Chemie Organischer Naturstoffe / Progress in the Chemistry of Organic Natural Produ

Fortschritte der Chemie Organischer Naturstoffe / Progress in the Chemistry of Organic Natural Produ

$39.99
Datenschutz als Wettbewerbsvorteil

Datenschutz als Wettbewerbsvorteil

$59.99
Fritz John

Fritz John

$329.99
S3-Leitlinie Diagnostik und Behandlung der Essstrungen

S3-Leitlinie Diagnostik und Behandlung der Essstrungen

$39.99
Command Responsibility and Its Applicability to Civilian Superiors

Command Responsibility and Its Applicability to Civilian Superiors

$54.99
Applied RNA Bioscience

Applied RNA Bioscience

$129.00
Semantische Untersuchungen zu den inchoativen Verben im Deutschen

Semantische Untersuchungen zu den inchoativen Verben im Deutschen

$59.99
Restructuring, Stabilizing and Modernizing the New Russia

Restructuring, Stabilizing and Modernizing the New Russia

$84.99
Biomedical and Dental Applications of Polymers

Biomedical and Dental Applications of Polymers

$219.99
previous
next