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

$39.99
@ Link.springer.com     BUY Now

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

$39.99
See Site In stock Visit Store

Similar Products

Irreversible Quantum Dynamics

$84.99

Unternehmensidentitt von Banken

$59.99

Kindler Kompakt: Spanische Literatur, 20. Jahrhundert

$19.99

Immersive Systemic Knowing

$159.99

Rechte Gewalt erzhlen

$74.99

Construction Materials

$99.99

Land Policy in China

$139.99

Imagination in Science

$109.99

Legal Fictions in Theory and Practice

$149.00

Erluterungen zu den Vorschriften fr die Errichtung von Starkstromanlagen mit Betriebsspannungen un

$49.99

The Fall of Apartheid

$84.99

Human Centred Intelligent Systems

$299.99

Communications, Signal Processing, and Systems

$449.99

Search Techniques in Intelligent Classification Systems

$54.99

Funktionalanalysis und Numerische Mathematik

$39.99

Developing Advanced English Language Competence

$119.00

Buddy Readers: Level C (Single-Copy Set)

$17.99

Advances in Computer, Communication and Computational Sciences

$169.00

Mitarbeiterbefragungen in kleinen und mittleren Unternehmen gezielt richtig durchfhren

$17.99

Biodiversity, Conservation and Sustainability in Asia

$189.00

Leitfaden fr Polizeibeamte in Frage- und Antwortform

$64.99

Endovascular Aneurysm Repair

$54.99

Evolution in Action

$169.00

Intracorporeal Anastomosis

$59.99

Mit dem kranken Partner leben

$64.99

The Value of RFID

$109.99

Software-Ergonomie

$59.99

Advances in Hybridization of Intelligent Methods

$84.99

konomie des Bauens

$64.99

Education for Animal Welfare

$169.99

Recognition of Governments

$199.99

Intelligent Tutoring Systems

$54.99

Islamic Finance Practices

$84.99

Rule Technologies: Foundations, Tools, and Applications

$54.99

Scholastic Discover More: El antiguo Egipto (Hardcover)

$9.74

Geological History of the Polar Oceans: Arctic versus Antarctic

$329.99

The Metamorphoses of Commedia dellArte

$139.99

Elements of Continuum Mechanics and Conservation Laws

$169.99

Mathematik fr Wirtschaftswissenschaftler

$59.99

Wavelets

$199.99