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
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
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

Potential Theory and Degenerate Partial Differential Operators

$109.99

Advanced Theory of Fractional-Slot Concentrated-Wound Permanent Magnet Synchronous Machines

$109.99

Reviews of Environmental Contamination and Toxicology Volume 228

$169.00

Serodiagnosis of the Infectious Diseases

$84.99

Handbook of Pediatric Epilepsy

$84.99

Geophysical Fluid Dynamics I

$39.99

Human Interface and the Management of Information

$54.99

The Veil in Kuwait

$39.99

Amorphous Silicon / Crystalline Silicon Heterojunction Solar Cells

$54.99

Entscheidungsorientierte Kosten- und Leistungsrechnung

$49.99

Introduction to International and European Sports Law

$179.99

High Performance Computing in Science and Engineering ' 05

$99.00

Symbolic and Quantitative Approaches to Reasoning and Uncertainty

$39.99

Der geplante Mythos

$59.99

Ready-To-Go 300 Book Classroom Library, Grade 8

$1,725.00

Pancreas Transplantation the Asian Experience

$84.99

Going Public in bergangskonomien

$59.99

Boredom in the Foreign Language Classroom

$99.00

Eine kurze Einfhrung in die Molekulare Psychologie

$17.99

Shakespeare and Conflict

$54.99

Understanding Prisoner Victimisation

$139.99

On the Estimation of Multiple Random Integrals and U-Statistics

$59.99

Biological Modulation of Solid Tumours by Interferons

$84.99

The Impact of the Freedom of Information Act on Central Government in the UK

$39.99

Self and Process

$109.99

Handbook of Materials for Percussion Musical Instruments

$299.99

Chemokines in Disease

$219.99

Modeling and Mechanics of Granular and Porous Materials

$219.99

Sustainable Blended Learning in STEM Education for Students with Additional Needs

$109.00

Addictive Behaviour: Molecules to Mankind

$169.99

Indoktrination und Erziehung

$29.99

The Art of Allusion in Victorian Fiction

$39.99

Einfhrung in die Mikrocomputertechnik

$69.95

Psychosis or Mystical Religious Experience?

$84.99

Ramparts of Empire

$89.00

Order in Court

$54.99

The Metaphysics of Science and Aim-Oriented Empiricism

$99.99

Lipids in Evolution

$54.99

Vending Machine Book Collection Option 1

$1,308.68

Power Concentration in World Politics

$109.99