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-proceedings of the 20th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2010, held in Hagenberg, Austria in July 2010. The 13 revised full papers presented together with two invited papers were carefully reviewed and selected from 26 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, application and tools, program/model manipulation, and transformation techniques for any programming language paradigm.
Reviews
Questions & Answers
Geschichte der Deutschen Ophthalmologischen Gesellschaft
$59.99
The Mediastinal Mass
$79.99
Ways of Knowing in HCI
$79.99
Measurement, Control, and Communication Using IEEE 1588
$129.00
Instruction Selection
$44.99
Higher Education: Handbook of Theory and Research
$129.00
Kinetische Stereochemie der Kohlenstoffverbindungen
$59.99
Die Streckenfrderung
$84.99
Artificial Neural Networks in Pattern Recognition
$59.99
Ueber den praktischen Wert der Zwischenberhitzung bei Zweifachexpansions-Dampfmaschinen
$49.99
Die Kernmagnetische Resonanz und Ihre Anwendung in der Anorganischen Chemie
$44.99
Emerging Technologies in Hazardous Waste Management 7
$84.99
Electronic Structure and Properties of Hydrogen in Metals
$39.99
Springer Tracts in Modern Physics 7
$54.99
Thermoradiotherapy and Thermochemotherapy
$219.99
Kulturindustrie: Theoretische und empirische Annherungen an einen populren Begriff
$59.99
Weird Universe
$24.99
The United Nations and Space Security
$159.99
Festivals and Heritage in Latin America
$79.99
Sequences
$54.99
Structural Synthesis of Parallel Robots
$169.99
The Earths Human Carrying Capacity
$139.99
DLP and Extensions
$39.99
Handbuch des Technikrechts
$149.00
Data Dissemination in Wireless Computing Environments
$129.00
Einfhrung in die Technische Informatik
$64.99
Historical Explorations of Modern Epidemiology
$109.99
Supersymmetry and Trace Formulae
$169.99
Ready-To-Go 2 25 Book Classroom Library: Nonfiction, Grade 4
$145.00
Portable Surgical Mentor
$39.99
Electrochemical Science for a Sustainable Society
$109.99
Model Generation in Electronic Design
$84.99
Molecular and Cellular Mechanobiology
$199.99
Der Vorrichtungsbau
$59.99
Vektoralgebra
$59.99
Virtual Trade and Comparative Advantage
$84.99
Alter und Geschlecht
$49.99
Increasing Naturalness and Flexibility in Spoken Dialogue Interaction
$199.99
Arbeitszeit, Betriebszeit und Beschftigung
$49.99
Energy Efficient High Performance Processors
$129.99
