Copied Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011. The 6 revised full papers presented together with 8 additional papers were carefully reviewed and selected from 28 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.
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
|
|
$54.99 | $54.99 |
|
$54.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Bio-Clean Energy Technologies: Volume 1
$189.00
Submarine Mass Movements and Their Consequences
$169.99
Thea Stilton: Black Forest Burglary (#30)
$6.74
Modeling with UML
$39.99
Vorlesungen ber hhere Mathematik
$49.99
Communist Legislatures in Comparative Perspective
$39.99
Mathematics Education in a Neocolonial Country: The Case of Papua New Guinea
$139.99
The Artful Economist
$129.00
Duplexsonographie der oberflchlichen Beinvenen
$139.99
The Meiji Restoration
$54.99
Strategic Cultures in the Asia-Pacific Region
$169.99
Stress Echocardiography
$84.99
Sulphur in Plants
$219.99
Service Oriented, Holonic and Multi-Agent Manufacturing Systems for Industry of the Future
$219.99
EISS Yearbook 19801981 Part II / Annuaire EISS 19801981 Partie II
$54.99
Familienunternehmen und Brse
$69.99
The Extra-Intracranial Bypass Operation for Prevention and Treatment of Stroke
$39.99
Investing in E-Health
$84.99
Legendary Fun! (Pokemon Comictivity #2) by Meredith Rusu
$11.99
From After Effects to Flash
$49.99
Parallele Programmierung mit Modula-2
$49.99
Neuro-vascular Neuro-ophthalmology
$84.99
Stroh Formalism and Rayleigh Waves
$39.99
The Resilience Framework
$149.00
Breathing on the Roof of the World
$119.00
Oxygen Transport To Tissue XXIII
$169.99
Das politische System Mexikos
$59.99
The UNSCOM Saga
$109.99
Entwicklung eines Verfahrens zur Bestimmung der Verkokungswrme kleiner Mengen Steinkohle
$59.99
Contemporary Topics in Polymer Science
$39.99
Kopfschmerzen und Migrne
$54.99
Outsourcing Border Control
$44.99
Current Issues in Computational Linguistics: In Honour of Don Walker
$84.99
A House Is a House for Me
$5.96
Common Security and Strategic Reform
$69.99
Zahnarztpraxis - erfolgreiche Abgabe
$49.99
The Utilization of Bioremediation to Reduce Soil Contamination: Problems and Solutions
$219.99
Political Psychology
$109.99
I. J. Schoenberg Selected Papers
$54.99
Environmental Systems Engineering
$84.99
