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

This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 2002, held in Madrid, Spain in September 2002. The 15 revised full papers presented together with 7 abstracts were carefully selected during two rounds of reviewing and revision from 40 submissions. The papers are organized in topical sections on debugging and types, tabling and constraints, abstract interpretation, program refinement, verification, partial evaluation, and rewriting and object-oriented development.

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

Software Language Engineering

$39.99

Effective Statistical Learning Methods for Actuaries III

$39.99

Graph-Theoretic Concepts in Computer Science

$54.99

Metamathematische Methoden in der Geometrie

$64.99

Color Atlas of Burn Reconstructive Surgery

$299.99

Corporate Governance in mittelstndischen Unternehmen

$59.99

YSEC Yearbook of Socio-Economic Constitutions 2023

$139.00

Ladybug

$3.71

Knowledge-Driven Developments in the Bioeconomy

$99.00

Evaluating Mathematical Programming Techniques

$109.99

Progress in Drug Research / Fortschritte der Arzneimittelforschung / Progrs des recherches pharmace

$39.99

Heizstrategie Die Simulation von Heizungsanlagen

$17.99

Bioavailability of Organic Xenobiotics in the Environment

$219.99

Emanzipation der lokalen Ebene?

$54.99

Catholics and US Politics After the 2020 Elections

$159.99

Die Differentialdiagnose der Gehirngeschwlste Durch die Arteriographie

$59.99

Measurements of Spin-Orbit Angles for Transiting Systems

$109.99

Drug Courts

$69.99

Agent-Based Approaches in Economic and Social Complex Systems V

$169.99

The 'Sailor Prince' in the Age of Empire

$99.99

The Rema Chronicles: Realm of the Blue Mist (Hardcover)

$18.74

Musik in Baden-Wrttemberg. Jahrbuch 2021/22

$39.99

I Can Read! Level 1-Splat the Cat: Splat the Cat Makes Dad Glad

$3.71

Observables and Symmetries of n-Plectic Manifolds

$54.99

Media, Journalism and Disaster Communities

$109.99

Nonlinear Ill-posed Problems of Monotone Type

$109.99

Geometry of Linear Matrix Inequalities

$59.99

Computational Aerosciences in the 21st Century

$109.99

Jahrbuch der Schiffbautechnischen Gesellschaft

$84.99

Proceedings of the 12th International Symposium on Computer Science in Sport (IACSS 2019)

$84.99

Leitfaden fr Umwelthandbcher mit Praxisbeispielen

$54.99

Stochastic Numerics for Mathematical Physics

$179.99

Corporate Training for Effective Performance

$109.99

Frankreich Jahrbuch 2006

$69.99

Senizid und Altenttung

$17.99

Stochastic Models for Structured Populations

$49.99

Mathematical and Statistical Methods for Actuarial Sciences and Finance

$159.99

Grundkurs Kosten- und Leistungsrechnung

$29.99

The Teleological and Kalam Cosmological Arguments Revisited

$59.99

Kaufvertragsstrungen aus Sicht des BGB und des iranischen Rechts

$64.99