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

Logic Program Synthesis and Transformation

Best Price (Coupon Required):
Buy Logic 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
9783540684947
Condition
New
Product Description

This book constitutes the strictly refereed post-workshop proceedings of the Sixth International Workshop on Logic Program Synthesis and Transformation, LOPSTR'96, held on board a ship sailing from Stockholm to Helsinki, in August 1996. The 17 revised full papers were carefully selected from a total of initially 27 submissions. The topics covered range over the areas of synthesis of programs from specifications, verification, transformation, specialization, and analysis of programs, and the use of program schemata in program development.

Available Colors
Available Sizes

Reviews

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

Questions & Answers

Similar Products

Choreographing Problems

Choreographing Problems

$99.99
Determinanten der Markteintrittsreihenfolge von imitativen Internet Start-ups

Determinanten der Markteintrittsreihenfolge von imitativen Internet Start-ups

$64.99
Mitteleuropische Giftpflanzen und ihre Wirkstoffe

Mitteleuropische Giftpflanzen und ihre Wirkstoffe

$49.99
Computational Intelligence Methods for Bioinformatics and Biostatistics

Computational Intelligence Methods for Bioinformatics and Biostatistics

$54.99
Die Krankheiten des Herzens und der Gefsse

Die Krankheiten des Herzens und der Gefsse

$59.99
Ring Opening Metathesis Polymerisation and Related Chemistry

Ring Opening Metathesis Polymerisation and Related Chemistry

$219.99
Antibiotic Stewardship in Arztpraxis und Ambulanz

Antibiotic Stewardship in Arztpraxis und Ambulanz

$34.99
Infusionstherapie und Ditetik in der Pdiatrie

Infusionstherapie und Ditetik in der Pdiatrie

$19.99
Praktischer Stahlschiffbau

Praktischer Stahlschiffbau

$84.99
Die intertrochantere Osteotomie bei Coxarthrose

Die intertrochantere Osteotomie bei Coxarthrose

$54.99
Statistical Mechanics and Field Theory: Mathematical Aspects

Statistical Mechanics and Field Theory: Mathematical Aspects

$84.99
Nanostructured Materials for Energy Related Applications

Nanostructured Materials for Energy Related Applications

$109.99
Ancient Geopolymers in South America and Easter Island

Ancient Geopolymers in South America and Easter Island

$54.99
Intraseasonal Variability in the Atmosphere-Ocean Climate System

Intraseasonal Variability in the Atmosphere-Ocean Climate System

$219.99
Kinder der Rckkehr

Kinder der Rckkehr

$79.99
Kinomythen 1920-1945

Kinomythen 1920-1945

$49.99
Transboundary Environmental Problems and Cultural Theory

Transboundary Environmental Problems and Cultural Theory

$84.99
Eigentum und Grundwasser

Eigentum und Grundwasser

$54.99
Gendered Citizenships

Gendered Citizenships

$54.99
Local Features in Natural Images via Singularity Theory

Local Features in Natural Images via Singularity Theory

$54.99
Kapitalismusanalyse und Kapitalismuskritik

Kapitalismusanalyse und Kapitalismuskritik

$17.99
Bruchversuche an Stahlbetonscheiben

Bruchversuche an Stahlbetonscheiben

$49.99
Echokardiographische Diagnostik bei koronarer Herzkrankheit

Echokardiographische Diagnostik bei koronarer Herzkrankheit

$79.99
Intangible Assets in der Unternehmenssteuerung

Intangible Assets in der Unternehmenssteuerung

$79.99
Empirical Finance

Empirical Finance

$109.99
Enhancing Surrogate-Based Optimization Through Parallelization

Enhancing Surrogate-Based Optimization Through Parallelization

$179.99
Prozessoptimierung fr produzierende Unternehmen

Prozessoptimierung fr produzierende Unternehmen

$59.99
Citric Acid

Citric Acid

$109.99
CalogeroMoser Sutherland Models

CalogeroMoser Sutherland Models

$54.99
Nanostructured Materials for Advanced Technological Applications

Nanostructured Materials for Advanced Technological Applications

$259.00
Design and Modeling of Mechanical Systems - V

Design and Modeling of Mechanical Systems - V

$189.00
Foundations of Computational Linguistics

Foundations of Computational Linguistics

$79.99
The Topological Weighted Centroid: A New Vision of Geographic Profiling

The Topological Weighted Centroid: A New Vision of Geographic Profiling

$179.99
Principles of the Spin Model Checker

Principles of the Spin Model Checker

$69.99
Microbial Technologies in Industrial Wastewater Treatment

Microbial Technologies in Industrial Wastewater Treatment

$199.99
Advances and Trends in Artificial Intelligence. Theory and Practices in Artificial Intelligence

Advances and Trends in Artificial Intelligence. Theory and Practices in Artificial Intelligence

$129.99
Mechanisms for Long-Term Innovation

Mechanisms for Long-Term Innovation

$129.00
Meteors and How to Observe Them

Meteors and How to Observe Them

$44.99
Planung und Steuerung der Post Merger-Integration

Planung und Steuerung der Post Merger-Integration

$69.99
Die Smarte Marketing-Mix-Werkstatt

Die Smarte Marketing-Mix-Werkstatt

$69.99
previous
next