Copied Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013, held in Madrid, Spain, in September 2013. The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 submissions during two rounds of reviewing and improvement. 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.
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
Emerging Market Capital Flows
$169.99
AO/ASIF Instruments and Implants
$119.00
Econometric Modelling of European Money Demand
$54.99
The Science of Life
$39.99
Invariant Theory
$29.99
Manual of Head and Neck Imaging
$89.00
The World Yearbook of Robotics Research and Development
$54.99
Enzyme Physics
$39.99
Programming Languages and System Architectures
$39.99
Contemporary Issues of Migration and Theology
$84.99
Clastic Hydrocarbon Reservoir Sedimentology
$219.99
Wollen Sie wirklich Wissenschaftler werden?
$19.99
Verlust, Abschied und Trauer in der Physiotherapieausbildung
$64.99
The Smallest Anthropoids
$169.00
Polish Essays in the Methodology of the Social Sciences
$109.99
Landolt-Brnstein set 2017
$44,053.20
Private Banking und Wealth Management
$89.99
Implizite Runge-Kutta-Formeln
$59.99
Scholastic Science Readers Level 1: Thunder and Lightning
$5.21
Medievalism and Orientalism
$54.99
Advances in NMR Spectroscopy for Lipid Oxidation Assessment
$39.99
Animal Neopragmatism
$39.99
Unternehmensfhrung und Informationssystem
$69.99
Special Applications
$84.99
Islam Dot Com
$109.99
Acne
$74.99
Cartilage Injury of the Knee
$159.99
Steuerungstechnik im Maschinenbau
$49.99
Evolution of Atopic Dermatitis in the 21st Century
$159.99
Analog Circuit Design
$169.99
Emil du Bois-Reymond (18181896) Anton Dohrn (18401909)
$59.99
The Ruby Code
$5.99
Der zahnlose Unterkiefer
$59.99
Scientific Approaches to the Philosophy of Religion
$54.99
The Transfer and Diffusion of Information Technology for Organizational Resilience
$84.99
Complex Geometry
$64.99
Armament, Arms Control and Artificial Intelligence
$84.99
Neurologic Stem Cell Surgery
$39.99
Metallurgische Berechnungen
$84.99
Bioengineering and Biomedical Signal and Image Processing
$99.99
