Copied Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2014, held in Canterbury, UK, in September 2014. The 18 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. The papers are organized along a set of thematic tracks: program analysis and transformation, constraint handling rules, termination analysis, security, program testing and verification, program synthesis, program derivation, semantic issues in logic programming and program transformation and optimization. ... Show More Show Less
Price Comparison
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Differential Equations and Data Analysis
$39.99
Sustainable Bioconversion of Waste to Value Added Products
$219.99
Change Management im Unternehmen
$74.99
Local Integration of Migrants Policy
$139.99
Pulmonary Embolism
$159.99
Landscape Resilience
$89.99
You are Ready! The World is Waiting by Eric Carle
$12.99
Das Gleichgewicht
$64.99
Gesundheitliche Resilienz
$74.99
Linear and Matrix Algebra
$54.99
Beyond Einstein Gravity
$129.00
Navigating Time and Space in Population Studies
$109.99
Network Control and Engineering for QOS, Security and Mobility, III
$129.00
Electron and Photon Interactions at High Energies
$39.99
Persnliche Netzwerke in Stadt und Land
$69.99
Computational Science ICCS 2018
$89.00
System Simulation and Scientific Computing, Part II
$54.99
Migration, Transnationalism and Catholicism
$139.99
Postponement Strategies in Supply Chain Management
$84.99
Ethisches Marketing in Psychologie und Psychotherapie
$49.99
Die gesellschaftliche Resonanz auf das Abfallproblem
$49.99
Building Applications with Azure Resource Manager (ARM)
$59.99
Autoelektrik/Autoelektronik
$54.99
Untersttzung des Managements von Software-Projekten durch eine Erfahrungsdatenbank
$59.99
Introduction to Transfer Learning
$54.99
Pharmaceutical Microscopy
$84.99
Internet of Things Use Cases for the Healthcare Industry
$179.99
Alzheimers Disease: Lessons from Cell Biology
$84.99
Heat Transfer in Subsonic Separated Flows
$159.99
Immobilienbewertung im Kontext der IFRS
$79.99
DEFINITE DEcisions on a FINITE set of alternatives
$74.99
Total Synthesis of Bioactive Natural Products by Palladium-Catalyzed Domino Cyclization of Allenes a
$84.99
Depression und Erleben von Dauer
$59.99
Die Verwandlung der Stoffe
$44.99
Advanced Test Methods for SRAMs
$109.99
Programmieren mit OpenGL
$69.95
Sustainable Issues in Infrastructure Engineering
$199.99
Impact of Agriculture on Soil Degradation I
$329.99
A Social History of Student Volunteering
$54.99
Modernism and Mimesis
$119.99
