Copied Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
This book constitutes the thoroughly refereed post-proceedings of the 20th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2010, held in Hagenberg, Austria in July 2010. The 13 revised full papers presented together with two invited papers were carefully reviewed and selected from 26 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, application and tools, program/model manipulation, and transformation techniques for any programming language paradigm.
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
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Bio-synthetic Polymer Conjugates
$169.00
Die elektronische Wahl des Deutschen Bundestages
$69.99
Futurist Women
$54.99
Sociolinguistics in African Contexts
$89.00
Radiation Applications
$99.00
Pattern and Process in a Forested Ecosystem
$54.99
Die Produktion zentraler ffentlicher Rume in der Aufmerksamkeitskonomie
$69.99
Professionalisierung als biographisches Projekt
$59.99
IT-Alignment
$17.99
Adoleszenz - Bildung - Anerkennung
$59.99
Fossile Sporae in situ
$59.99
Nordrhein-Westflische Akademie der Wissenschaften
$59.99
Nutrient Uptake and Cycling in Forest Ecosystems
$329.99
Groundwater of South Asia
$299.99
ADEX Optimized Adaptive Controllers and Systems
$169.99
Bistatic SAR System and Signal Processing Technology
$199.99
I SPY Gold Challenger! (Hardcover)
$11.24
The Management of Quality and its Control
$129.00
Capacity and Inventory Planning for Make-to-Order Production Systems
$54.99
Laser Capture Microdissection
$99.00
The Molecular Immunology of Complex Carbohydrates
$84.99
Intelligence in Context
$169.99
Coxeter Graphs and Towers of Algebras
$99.00
From scientific instrument to industrial machine
$54.99
Grundkurs IT-Projektcontrolling
$39.99
Gas-Phase Photoprocesses
$159.99
Betriebs- und volkswirtschaftliche Bewertung von Telematiksystemen zur Optimierung des Verkehrs in B
$49.99
Literary Second Cities
$109.99
China and the World in a Changing Context
$59.99
Consent in Pediatric Urology
$84.99
Stability of Drugs and Dosage Forms
$129.00
Algorithms and Computation
$39.99
Biophotonics
$129.00
Weed and Crop Resistance to Herbicides
$219.99
Distributed User Interfaces
$109.99
Implementation Science 3.0
$69.99
The Institution of Science and the Science of Institutions
$109.99
Erfolgreich wissenschaftlich arbeiten
$24.99
Inorganic Molecular Dissymmetry
$109.99
Dynamics of Nanoparticles in Stagnation Flames
$109.99
