Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Logic-Based Program Synthesis and Transformation
Best Price (Coupon Required):
Buy Logic-Based Program Synthesis and Transformation for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
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 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
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.
Reviews
Questions & Answers
Molecular Structures and Dimensions
$54.99
Lunar Domes
$69.99
Recent Advances in Applications of Computational and Fuzzy Mathematics
$109.99
Perspectives on Strategy
$119.99
Digitale kosysteme
$64.99
Project Management in the 21st Century
$99.99
Jugendliche in der Gesellschaft
$59.99
Mathematics Education in Brazil
$109.99
Challenges for Central Banking
$109.99
Spelling Skills, Grade 5 (Flash Kids Spelling Skills Series) by Flash Kids Editors
$9.99
Introduction to Analysis of the Infinite
$149.00
Betreutes Wohnen
$59.99
Industrial Process Identification and Control Design
$169.99
Day Nurseries & Childcare in Europe, 18001939
$109.99
Deleuze and Masculinity
$64.99
Polymer Rheology: Theory and Practice
$219.99
The Jobs We Do
$5.96
Untersuchung der tonalen Schallentstehung an einem Kfz-Khlerlfter in Einbausituation
$79.99
Integrierte Informationsarchitektur
$59.99
Journalism, Audiences and Diaspora
$54.99
Biology of the Vespine Wasps
$109.99
The Politics of the Final Hundred Years of Humanity (2030-2130)
$99.99
Structuralism and the Logic of Dissent
$169.99
After School Fun
$3.71
Integrierte berwachungs- und Diagnosesysteme fr numerische Steuerungen
$59.99
Experimental Hypertension and Therapeutic Progress: Vasodilation and Beyond
$109.99
Service-Oriented Computing
$39.99
Scale Space and Variational Methods in Computer Vision
$54.99
Balanced Scorecard im Produktionssystemcontrolling
$64.99
Biopolitics and Social Change in Italy
$39.99
Beckett, Deleuze and Performance
$49.99
Machine Learning in Document Analysis and Recognition
$169.99
Use Your PC to Build an Incredible Home Theater System
$24.99
Zuverlssigkeitsbewertung technischer Systeme
$49.99
Cell Biology of Extracellular Matrix
$219.99
Welfare or Welfare State?
$29.99
Intelligent Hybrid Systems
$169.99
Building Online Communities with Drupal, phpBB, and WordPress
$49.99
Emerging Technologies for Developing Countries
$79.99
Fabrication and Processing of Shape Memory Alloys
$39.99
