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
Embodied Inquiry
$39.99
Advances in Smart Medical, IoT & Artificial Intelligence
$149.00
Filler Complications
$139.99
Computer Aided Systems Theory - EUROCAST '95
$39.99
Partizipative Leitbildentwicklung
$64.99
Deepening Comprehension with Action Strategies (10-copy pack)
$217.40
Elektrotechnik
$69.95
Wound Management in Urgent Care
$79.99
R&D Management Practices and Innovation: Evidence from a Firm Survey
$37.99
The Economic Superorganism
$24.99
Formal Methods and Software Engineering
$39.99
The Heart of Cohomology
$99.00
Pdagogik der Vielfalt
$29.99
Machine Learning and Data Mining in Pattern Recognition
$54.99
Proceedings of the Tenth International Conference on Mathematics and Computing
$169.00
Smart Environment for Smart Cities
$219.99
View-Dependent Character Animation
$84.99
Information Systems and Technology in the International Office of the Future
$169.00
Algebraic K-Theory
$39.99
Dimensionen der Sicherheitskultur
$79.99
Coherence and Divergence in Services Trade Law
$149.00
Brgerkommune
$17.99
-Bibliography of Mathematical Logic
$39.99
The Hobbit and The Lord of The Rings Boxed Set: The Hobbit / The Fellowship of The Ring / The Two Towers / The Return of The King by J. R. R. Tolkien
$78.00
Macular Dystrophies
$119.00
Management-Kompetenz durch Fallstudientechnik
$44.99
Migrations- und Integrationsprozesse in Europa
$74.99
Numerical Methods for Solving Discrete Event Systems
$99.99
Legitimitt und politische Macht
$69.99
Nuclear G-Protein Coupled Receptors
$169.99
Handbuch der Bodenlehre
$84.99
Deutsche Auenpolitik
$29.99
Intrinsic Geodesy
$84.99
Kommunikation in Verteilten Systemen (KiVS)
$79.99
Die elliptischen Funktionen und ihre Anwendungen
$37.99
Functional Analytic Psychotherapy
$109.99
Formgebung von Blechen und Bndern durch Biegen
$79.99
Toward a Phenomenology of Terrorism
$119.99
Zur Soziologie des Essens
$64.99
Drug Users in Society
$109.99
