Copied Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2015, held in Siena, Italy, in July 2015. The 21 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 30 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large.
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
First Floridians and Last Mastodons: The Page-Ladson Site in the Aucilla River
$329.99
Coastal Ocean Observing
$129.99
Heterogeneous Wireless Access Networks
$109.99
Intelligent Human Systems Integration 2019
$219.99
Marxism and the Leninist Revolutionary Model
$54.99
Unternehmensinformation mit SAP-EIS
$54.99
Leitidee Daten und Zufall
$39.99
Nitroarenes
$39.99
The Foundations of Expected Utility
$219.99
Image and Video Compression Standards
$259.00
Poetry for Young Readers Grades K-3
$25.00
Scraps of Time: Away West
$5.21
Information Technologies in Environmental Engineering
$219.99
Recent Advances in Nonlinear Dynamics and Synchronization
$109.99
Formative Modellierung in Psychologie und Erziehungswissenschaft
$59.99
Handbook of Fractional-Horsepower Drives
$169.99
Archaeology, Cultural Heritage Protection and Community Engagement in South Asia
$44.99
Smart Technologies for Energy, Environment and Sustainable Development, Vol 1
$279.99
The Evaluation of New Antiarrhythmic Drugs
$54.99
Im Fokus: Palontologie
$19.99
Nonprofit Social Enterprises
$129.00
Reimag(in)ing the Victorians in Contemporary Art
$89.00
Copper, Molybdenum, and Vanadium in Biological Systems
$74.99
The Definitive Guide to Jython
$69.99
Housing Policy Systems in South and East Asia
$109.99
Creating Holistic Technology-Enhanced Learning Experiences
$49.99
Micropolar Elasticity
$54.99
Creating Google Chrome Extensions
$39.99
Enriching Business Ethics
$169.99
Ethical Responsiveness and the Politics of Difference
$119.99
Mycorrhizal Fungi: Use in Sustainable Agriculture and Land Restoration
$199.99
Computer Applications in Production Engineering
$329.99
Labyrinth of Thought
$149.00
Parameter Identification of Materials and Structures
$84.99
Machine Learning and Data Mining Approaches to Climate Science
$169.99
Generalized Functions, Convergence Structures, and Their Applications
$39.99
Ein Informationssystem fr Instandhaltungsleitstellen
$64.99
Berichte zur Lebensmittelsicherheit 2006
$29.99
Extreme Photoshop CS
$39.99
Biochemical Roles of Eukaryotic Cell Surface Macromolecules
$219.99
