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

Zur Pharmakologie des Brommethyls und Einiger Seiner Verwandten

Zur Pharmakologie des Brommethyls und Einiger Seiner Verwandten

$54.99
Remembering the Early Modern Voyage

Remembering the Early Modern Voyage

$54.99
Tropfen, Blasen und Lamellen oder Von den Formen flssiger Krper

Tropfen, Blasen und Lamellen oder Von den Formen flssiger Krper

$49.99
Mitteilungen ber Forschungsarbeiten auf dem Gebiete des Ingenieurwesens

Mitteilungen ber Forschungsarbeiten auf dem Gebiete des Ingenieurwesens

$59.99
Global Climate Change Policy and Carbon Markets

Global Climate Change Policy and Carbon Markets

$99.99
MuPAD Users Manual

MuPAD Users Manual

$39.99
Genomic Prediction of Complex Traits

Genomic Prediction of Complex Traits

$249.99
Die Grundlegung der Analysis durch Karl Weierstra

Die Grundlegung der Analysis durch Karl Weierstra

$89.00
Multidisciplinary Economics

Multidisciplinary Economics

$84.99
Soziologische Arbeitsmarkttheorien

Soziologische Arbeitsmarkttheorien

$44.99
Database Systems for Advanced Applications. DASFAA 2023 International Workshops

Database Systems for Advanced Applications. DASFAA 2023 International Workshops

$74.99
Physician Crisis

Physician Crisis

$89.99
Biomass Conversion Processes for Energy and Fuels

Biomass Conversion Processes for Energy and Fuels

$84.99
Intelligent Virtual Agents

Intelligent Virtual Agents

$39.99
Boa Constructor: A Branches Book (The Binder of Doom #2)

Boa Constructor: A Branches Book (The Binder of Doom #2)

$5.24
Las almas de la fiesta y otros cuentos de Da de Muertos

Las almas de la fiesta y otros cuentos de Da de Muertos

$5.96
Theorie und Technik der Pulsmodulation

Theorie und Technik der Pulsmodulation

$44.99
Advanced Hierarchical Control and Stability Analysis of DC Microgrids

Advanced Hierarchical Control and Stability Analysis of DC Microgrids

$149.00
Combinatorial Methods in Topology and Algebra

Combinatorial Methods in Topology and Algebra

$39.99
Sphinctozoa aus den Klobenwand-Kalken (Trias, Mrztaler Kalkalpen)

Sphinctozoa aus den Klobenwand-Kalken (Trias, Mrztaler Kalkalpen)

$54.99
Erfolgreich fhren im Ehrenamt

Erfolgreich fhren im Ehrenamt

$44.99
Sozialmanagement und das Verhltnis zur Sozialen Arbeit

Sozialmanagement und das Verhltnis zur Sozialen Arbeit

$39.99
Zero-Carbon Energy Kyoto 2012

Zero-Carbon Energy Kyoto 2012

$169.99
Nanotechnology for Chemical and Biological Defense

Nanotechnology for Chemical and Biological Defense

$109.99
The United States and Military Coups in Turkey and Pakistan

The United States and Military Coups in Turkey and Pakistan

$89.00
Organspezifische Tumordokumentation

Organspezifische Tumordokumentation

$59.99
Intrinsic CSR and Competition

Intrinsic CSR and Competition

$109.99
Beitrag zur Behandlung von Stabilittsproblemen bei Systemen mit vernderlichen Grenzen

Beitrag zur Behandlung von Stabilittsproblemen bei Systemen mit vernderlichen Grenzen

$59.99
Analytische Leistungsbewertung verteilter Systeme

Analytische Leistungsbewertung verteilter Systeme

$44.99
Wirtschaftswerbung und die Meinungsfreiheit des Grundgesetzes

Wirtschaftswerbung und die Meinungsfreiheit des Grundgesetzes

$64.99
Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

$39.99
Coastal Monitoring through Partnerships

Coastal Monitoring through Partnerships

$109.99
Nitric Oxide in Plant Growth, Development and Stress Physiology

Nitric Oxide in Plant Growth, Development and Stress Physiology

$129.00
Blockchain Consensus

Blockchain Consensus

$54.99
Hormonale Kontrazeption

Hormonale Kontrazeption

$59.99
Talk about Prayer

Talk about Prayer

$54.99
Aqueous Two-Phase Systems

Aqueous Two-Phase Systems

$109.99
Progress in Photon Science

Progress in Photon Science

$129.99
Lyrische Autobiographien und Selbstportrts

Lyrische Autobiographien und Selbstportrts

$74.99
Gentechnisches Labor  Leitfaden fr Wissenschaftler

Gentechnisches Labor Leitfaden fr Wissenschaftler

$39.99
previous
next