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
9783642005152
Condition
New
Product Description

This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008. The 11 revised full papers presented together with one invited talk were carefully reviewed and selected for inclusion in the book. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.

Available Colors
Available Sizes

Reviews

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

Questions & Answers

Similar Products

Mathematics of Uncertainty for Coping with World Challenges

Mathematics of Uncertainty for Coping with World Challenges

$139.00
World Class Initiatives and Practices in Early Education

World Class Initiatives and Practices in Early Education

$109.99
Das Problem der Pathogenitt von Escherichia coli im Suglingsalter

Das Problem der Pathogenitt von Escherichia coli im Suglingsalter

$44.99
Advanced Oxidation Processes in Dye-Containing Wastewater

Advanced Oxidation Processes in Dye-Containing Wastewater

$139.99
Schiffahrt auf dem Zrichsee

Schiffahrt auf dem Zrichsee

$44.99
Geheimwaffe: Assistenz III

Geheimwaffe: Assistenz III

$44.99
Microbial Endocrinology: Interkingdom Signaling in Infectious Disease and Health

Microbial Endocrinology: Interkingdom Signaling in Infectious Disease and Health

$129.00
Jasmine Toguchi: Jasmine Toguchi, Drummer Girl

Jasmine Toguchi: Jasmine Toguchi, Drummer Girl

$4.46
Housing Estates in the Baltic Countries

Housing Estates in the Baltic Countries

$59.99
ber Durchschlagseigenschaften von Transformatorenlen

ber Durchschlagseigenschaften von Transformatorenlen

$54.99
Frontiers of Combining Systems

Frontiers of Combining Systems

$54.99
Handbook of Brain Connectivity

Handbook of Brain Connectivity

$219.99
Introduction to the Theory of the Raman Effect

Introduction to the Theory of the Raman Effect

$109.99
Tagebuch ber die Informationstheorie

Tagebuch ber die Informationstheorie

$49.99
Expertiseforschung

Expertiseforschung

$49.99
Algebraic Geometry

Algebraic Geometry

$129.00
Foundations of Information and Knowledge Systems

Foundations of Information and Knowledge Systems

$84.99
Hochrisikoschwangerschaft

Hochrisikoschwangerschaft

$59.99
Ambient Air Pollution and Health Impact in China

Ambient Air Pollution and Health Impact in China

$139.00
Statistics for Chemical and Process Engineers

Statistics for Chemical and Process Engineers

$179.99
Corporate Environmental Responsibility, Accounting and Corporate Finance in the EU

Corporate Environmental Responsibility, Accounting and Corporate Finance in the EU

$169.99
Verfassungsstaat, Souvernitt, Pluralismus

Verfassungsstaat, Souvernitt, Pluralismus

$59.99
Kollaboration zwischen Spezialisten in Innovationsprojekten der Chemiebranche

Kollaboration zwischen Spezialisten in Innovationsprojekten der Chemiebranche

$39.99
Ontology in Heidegger and Deleuze

Ontology in Heidegger and Deleuze

$39.99
Einfhrung in die mathematische Logik

Einfhrung in die mathematische Logik

$49.99
Vaccine Law and Policy

Vaccine Law and Policy

$84.99
Views on Microstructures in Granular Materials

Views on Microstructures in Granular Materials

$39.99
Basics of Cryosurgery

Basics of Cryosurgery

$74.99
Counter Strategies in Global Markets

Counter Strategies in Global Markets

$54.99
Betrayed

Betrayed

$7.30
Electron-Diffraction Analysis of Clay Mineral Structures

Electron-Diffraction Analysis of Clay Mineral Structures

$84.99
Pro Spring 3

Pro Spring 3

$49.99
Modern India 18851947

Modern India 18851947

$29.99
Atomistic Aspects of Epitaxial Growth

Atomistic Aspects of Epitaxial Growth

$109.99
Constitutions of Self in Contemporary Irish Poetry

Constitutions of Self in Contemporary Irish Poetry

$84.99
Treaties, Trenches, Mud, and Blood

Treaties, Trenches, Mud, and Blood

$5.24
MR Angiography of the Body

MR Angiography of the Body

$129.00
Medical Entomology

Medical Entomology

$599.99
Effects of Anthropogenic Noise on Animals

Effects of Anthropogenic Noise on Animals

$199.99
Young Black Street Masculinities

Young Black Street Masculinities

$159.99
previous
next