Copied Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008. The 11 revised full papers presented together with one invited talk were carefully reviewed and selected for inclusion in the book. 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 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Potential Theory and Degenerate Partial Differential Operators
$109.99
Advanced Theory of Fractional-Slot Concentrated-Wound Permanent Magnet Synchronous Machines
$109.99
Reviews of Environmental Contamination and Toxicology Volume 228
$169.00
Serodiagnosis of the Infectious Diseases
$84.99
Handbook of Pediatric Epilepsy
$84.99
Geophysical Fluid Dynamics I
$39.99
Human Interface and the Management of Information
$54.99
The Veil in Kuwait
$39.99
Amorphous Silicon / Crystalline Silicon Heterojunction Solar Cells
$54.99
Entscheidungsorientierte Kosten- und Leistungsrechnung
$49.99
Introduction to International and European Sports Law
$179.99
High Performance Computing in Science and Engineering ' 05
$99.00
Symbolic and Quantitative Approaches to Reasoning and Uncertainty
$39.99
Der geplante Mythos
$59.99
Ready-To-Go 300 Book Classroom Library, Grade 8
$1,725.00
Pancreas Transplantation the Asian Experience
$84.99
Going Public in bergangskonomien
$59.99
Boredom in the Foreign Language Classroom
$99.00
Eine kurze Einfhrung in die Molekulare Psychologie
$17.99
Shakespeare and Conflict
$54.99
Understanding Prisoner Victimisation
$139.99
On the Estimation of Multiple Random Integrals and U-Statistics
$59.99
Biological Modulation of Solid Tumours by Interferons
$84.99
The Impact of the Freedom of Information Act on Central Government in the UK
$39.99
Self and Process
$109.99
Handbook of Materials for Percussion Musical Instruments
$299.99
Chemokines in Disease
$219.99
Modeling and Mechanics of Granular and Porous Materials
$219.99
Sustainable Blended Learning in STEM Education for Students with Additional Needs
$109.00
Addictive Behaviour: Molecules to Mankind
$169.99
Indoktrination und Erziehung
$29.99
The Art of Allusion in Victorian Fiction
$39.99
Einfhrung in die Mikrocomputertechnik
$69.95
Psychosis or Mystical Religious Experience?
$84.99
Ramparts of Empire
$89.00
Order in Court
$54.99
The Metaphysics of Science and Aim-Oriented Empiricism
$99.99
Lipids in Evolution
$54.99
Vending Machine Book Collection Option 1
$1,308.68
Power Concentration in World Politics
$109.99
