Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

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
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon Get Coupon & BUY

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
Contact Store Call Store Contact Support
$39.99 $39.99

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

Similar Products

Earth Systems Protection and Sustainability

$129.00

Recent Trends in Communication and Intelligent Systems

$219.99

Simulating Social Complexity

$169.99

Bausteine der Krperwelt und der Strahlung

$39.99

Das Max-Planck-Institut fr auslndisches ffentliches Recht und Vlkerrecht

$89.99

The Legal Technology Guidebook

$39.99

Digital Pathology

$39.99

Familial Cardiomyopathies

$149.00

Sexualisierte Gewalt gegen Jungen: Prvention und Intervention

$59.99

The Manual of Strategic Economic Decision Making

$84.99

Atmospheric Environmental Research

$39.99

Making Multicultural Families in Europe

$79.99

Die Rntgendiagnostik der Wirbelsule und ihre Grundlagen

$59.99

Barnyard Banter

$7.46

Visual and Text Sentiment Analysis through Hierarchical Deep Learning Networks

$54.99

Disaster Risk Reduction and Rural Resilience

$159.99

Barack Obama (new edition)

$4.46

Rhodesia's Unilateral Declaration of Independence

$109.99

A Crash Course on Kleinian Groups

$29.99

Spatial Observation of Giant Panda Habitat

$219.99

Heroes on the Side

$5.24

Never Tickle a Tiger

$5.21

Logical Form

$99.99

Die Ambivalenz der Gefhle

$64.99

ber Verlustwinkel- und Kapazittsmessungen an Porzellan

$54.99

Restoration and Recovery of Shallow Eutrophic Lake Ecosystems in The Netherlands

$219.99

Engineering Reality

$169.99

The Data Team Procedure: A Systematic Approach to School Improvement

$49.99

STACS 2004

$109.99

A Game- and Decision-Theoretic Approach to Resilient Interdependent Network Analysis and Design

$54.99

Practical Approaches to Earthquake Prediction and Warning

$219.99

Favorites Collection 2: Ages 6 Months-5 Years

$165.00

Information and Communication Technologies

$89.99

Cybersecurity in France

$54.99

konomik und Gesellschaft

$89.95

Attachment Reconsidered

$54.99

Microbial Processes for Synthesizing Nanomaterials

$219.99

Medizinische Gutachten

$199.99

Economics and Management of Franchising Networks

$169.99

Elektrizitt und Magnetismus

$59.99