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

Grundzge der Chemischen Pflanzenuntersuchung

$59.99

Dynamics and Control of Machines

$169.99

Annual Update in Intensive Care and Emergency Medicine 2020

$139.99

Low Cycle Fatigue and Elasto-Plastic Behaviour of Materials3

$54.99

Gilbert Sheldon

$54.99

Psychological Processes in International Negotiations

$54.99

Non-negative Matrix Factorization Techniques

$54.99

There was a Cold Lady Who Swallowed Some Snow

$5.21

Couple Relationships in the 21st Century

$39.99

Die Entwicklung, Analyse und Replikation eines modifizierten Modells der Kndigungsabsicht

$64.99

Export beruflicher Aus- und Weiterbildung

$54.99

Advances in Cryptology ASIACRYPT 2018

$54.99

Political Censorship of the Visual Arts in Nineteenth-Century Europe

$39.99

Beginning C# 2008 Databases

$29.99

The Getaway (Hardcover)

$14.99

Bio-based Superabsorbents

$129.99

Bacterial Identification and Drug Susceptibility Patterns in Pregnant and Non Pregnant UTI Patients

$54.99

Developing China's Capital Market

$39.99

Beitrag zur Untersuchung rotationssymmetrischer Tandemgitter fr berschallstrmung

$49.99

Experiences of Emerging Economy Firms

$109.99

Interstitial Alloys

$109.99

Complex Analysis

$54.99

Isoscapes

$199.99

Tax Incentives for the Creative Industries

$139.99

Geomechanics of Failures

$59.99

Open Innovation in Business

$99.00

Tunnelling and Tunnel Mechanics

$169.99

Beginning Spring Boot 2

$54.99

Internationaler Finanzplatzwettbewerb

$69.99

Beratung, Macht und organisationales Lernen

$39.99

Funktionelle neurologische Strungen

$84.99

Green Functors and G-sets

$54.99

Perspectives on the U.S.-Mexico Soccer Rivalry

$129.99

Crystalline Electric Field Effects in f-Electron Magnetism

$84.99

Environmental and Resource Policy for Consumer Durables

$54.99

Software Challenges to Exascale Computing

$54.99

Economic Power in Anglo-South African Diplomacy

$44.99

Hepatobiliary Diseases: Cholestasis and Gallstone

$109.99

FE Computation on Accuracy Fabrication of Ship and Offshore Structure Based on Processing Mechanics

$169.99

Transnational Corporations and Human Rights

$54.99