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

Japan's Nuclear Disarmament Policy and the U.S. Security Umbrella

Japan's Nuclear Disarmament Policy and the U.S. Security Umbrella

$54.99
Writing the Voice of Pleasure

Writing the Voice of Pleasure

$54.99
Diversifikationen durch Unternehmungserwerb

Diversifikationen durch Unternehmungserwerb

$69.99
Clinical Nuclear Medicine Neuroimaging

Clinical Nuclear Medicine Neuroimaging

$99.99
Social Science Research in the Arab World and Beyond

Social Science Research in the Arab World and Beyond

$37.99
Mass Customization als Wettbewerbsstrategie in der Finanzdienstleistungsbranche

Mass Customization als Wettbewerbsstrategie in der Finanzdienstleistungsbranche

$69.99
Thringische Verfassungsurkunden

Thringische Verfassungsurkunden

$179.99
Combustion for Power Generation and Transportation

Combustion for Power Generation and Transportation

$129.00
Comprehensive Summer Reading Solution Grade 3 Fiction (5 Books)

Comprehensive Summer Reading Solution Grade 3 Fiction (5 Books)

$910.00
Friendship and Social Interaction

Friendship and Social Interaction

$39.99
Mikrocontroller und Mikroprozessoren

Mikrocontroller und Mikroprozessoren

$29.99
Adenocarcinoma of the Prostate

Adenocarcinoma of the Prostate

$54.99
Topics in Current Chemistry 2/4

Topics in Current Chemistry 2/4

$54.99
Mitochondrial Regulation

Mitochondrial Regulation

$109.99
Iterative Methods for Simultaneous Inclusion of Polynomial Zeros

Iterative Methods for Simultaneous Inclusion of Polynomial Zeros

$39.99
Vertriebsmitarbeiter und Innovationen

Vertriebsmitarbeiter und Innovationen

$59.99
Big Data Analytics

Big Data Analytics

$54.99
Artificial Intelligence in Theory and Practice III

Artificial Intelligence in Theory and Practice III

$54.99
The 'No-Nonsense' Guide to Doing Business in Japan

The 'No-Nonsense' Guide to Doing Business in Japan

$84.99
Evaluation of Continuing Education in the Health Professions

Evaluation of Continuing Education in the Health Professions

$39.99
Cell and Model Membrane Interactions

Cell and Model Membrane Interactions

$39.99
Emerging Zoonoses

Emerging Zoonoses

$199.99
Politics of Modern Muslim Subjectivities

Politics of Modern Muslim Subjectivities

$54.99
Geoecology of Antarctic Ice-Free Coastal Landscapes

Geoecology of Antarctic Ice-Free Coastal Landscapes

$129.00
Retinal Ganglion Cells

Retinal Ganglion Cells

$199.99
Discrete Choice Experiments Using R

Discrete Choice Experiments Using R

$129.99
Fractals in Multimedia

Fractals in Multimedia

$169.99
ber die Wirkung von Chloroform-, ther- und Xylolextrakt aus Tuberkelbazillen sowie von Phymatinsal

ber die Wirkung von Chloroform-, ther- und Xylolextrakt aus Tuberkelbazillen sowie von Phymatinsal

$54.99
Statistics for Data Science and Policy Analysis

Statistics for Data Science and Policy Analysis

$279.99
Regelungstechnik

Regelungstechnik

$39.99
OP-Management  Von der Theorie zur Praxis

OP-Management Von der Theorie zur Praxis

$79.99
Liquid Biofuels: Emergence, Development and Prospects

Liquid Biofuels: Emergence, Development and Prospects

$84.99
Structure Determination by X-ray Crystallography

Structure Determination by X-ray Crystallography

$84.99
The New Rhetoric and the Humanities

The New Rhetoric and the Humanities

$169.99
Trends and Applications of Serious Gaming and Social Media

Trends and Applications of Serious Gaming and Social Media

$109.99
Comic Guy: Kooks in the Cafeteria

Comic Guy: Kooks in the Cafeteria

$4.46
Calciumantagonisten

Calciumantagonisten

$69.99
Advances in Artificial Intelligence: From Theory to Practice

Advances in Artificial Intelligence: From Theory to Practice

$54.99
Chemilumineszenz organischer Verbindungen

Chemilumineszenz organischer Verbindungen

$54.99
Spaces of Continuous Functions

Spaces of Continuous Functions

$89.99
previous
next