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.
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
Disruptive Tourism and its Untidy Guests
$39.99
VLSI Artificial Neural Networks Engineering
$129.00
Medienhandeln Jugendlicher
$69.99
Iterative Learning Control for Flexible Structures
$84.99
Principles and Practice of Lacrimal Surgery
$109.00
Inventory Management with Alternative Delivery Times
$54.99
National Basketball Association Strategies
$54.99
Privatisation in Ireland
$109.99
Proceedings of First International Conference on Information and Communication Technology for Intell
$219.99
Fractals and Fractional Calculus in Continuum Mechanics
$139.99
Einfhrung in die Moleklspektroskopie
$59.99
Sehen und Verkehr
$69.99
Young Audiences, Theatre and the Cultural Conversation
$84.99
Der Stickstoffumsatz / Nitrogen Metabolism
$54.99
Messewirtschaft und Innovationskultur
$44.99
Analytic Capacity, the Cauchy Transform, and Non-homogeneous CaldernZygmund Theory
$109.99
Being Feared
$69.99
Naturally Occurring Organohalogen Compounds
$199.99
Feyerabends Epistemological Anarchism
$109.99
Prozessmanagement fr das Laser-Pulver-Auftragschweien
$84.99
Latinx Queer Psychology
$159.99
The Semantic Web
$54.99
Neuere Wasserversorgungsanlagen der Preussisch-hessischen Staatseisenbahnen
$49.99
The Schrdinger Equation
$84.99
Mobile User Research
$54.99
EMC 2008
$219.99
Highlights in the quantum theory of condensed matter
$29.95
Historical Mosques in Indonesia and the Malay World
$99.00
The Water, Energy, and Food Security Nexus in Asia and the Pacific
$59.99
Drug Safety in Clinical Practice
$54.99
EDUCATING HEALTH PROFESSIONALS: BECOMING A UNIVERSITY TEACHER
$49.99
Sustainable Development and CSR in China
$39.99
Modern Approaches in Applied Intelligence
$54.99
Statik und Stabilitt der Baukonstruktionen
$159.99
Dissipative Quantum Chaos and Decoherence
$84.99
Desert Malaria
$169.99
Control and Operation of Grid-Connected Wind Energy Systems
$159.99
Durch die Pubertt von A bis Z
$14.99
Przisions-Meverfahren zur Bestimmung des elektrischen Leitvermgens geschmolzener Salze
$59.99
Existenzgrndung
$69.99
