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 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Advanced Calculus of a Single Variable
$69.99
Genetic Programming
$54.99
Automatisierung von Anlagen der Stahlindustrie
$59.99
Zur Grippe-Pandemie 1957
$59.99
Kurzes Lehrbuch der Physiologischen Chemie
$44.99
The Emerging Constitutional Law of the European Union
$54.99
Soft Computing for Intelligent Control and Mobile Robotics
$169.99
Modeling Mineral and Energy Markets
$109.99
Graph-Theoretic Concepts in Computer Science
$54.99
Direkt-Marketing bei Banken
$59.99
Bonjour
$8.75
Tell Me No Lies (Hardcover)
$14.99
Applying the Science of Learning to Education
$159.99
Building Refurbishment for Energy Performance
$84.99
The Management of Defence
$39.99
Handbook of Childhood and Adolescent Obesity
$169.00
Sterben und Trauern in der modernen Gesellschaft
$44.99
The Character of the Manager
$84.99
Emotion and Information Processing
$39.99
Britannia Unchained
$37.99
A Bayesian Analysis of QCD Sum Rules
$109.99
The International Political Economy of Chinas Exchange Rate Policy Making
$129.99
Glycerol
$129.99
Bounded Incremental Computation
$39.99
The Process of Science
$84.99
Banks, Bankers, and Bankruptcies Under Crisis
$84.99
Graph-Grammars and Their Application to Computer Science
$84.99
A Theory of Elasticity with Microstructure for Directionally Reinforced Composites
$54.99
Power-Sharing in the Global South
$129.99
GeoSpatial Visual Analytics
$219.99
Die gesellschaftliche Macht des Geldes
$44.99
Introduction to the Foundations of Applied Mathematics
$39.99
Time-Space, Spiking Neural Networks and Brain-Inspired Artificial Intelligence
$299.99
Applied Human Factors and Ergonomics 2018
$549.99
Die Berechnung der Zylinderschalen
$44.99
National Geographic Kids Readers: Meteors
$3.71
Technologies of Memory in the Arts
$54.99
Farbhunger
$44.99
Progress in Cryptology INDOCRYPT 2016
$54.99
Legal Professionals in White-Collar Crime
$99.99
