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 $49.50 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
|
|
$54.99 | $54.99 |
|
10% OFF
This deals requires coupon
|
$49.50 | See Site | In stock | Visit Store |
Product Details
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.
Reviews
Questions & Answers
Der neue Terrorismus
$74.99
Ganita-Yukti-Bh (Rationales in Mathematical Astronomy) of Jyehadeva
$249.99
Der Nutzen von ERP-Systemen
$69.99
Grundri der Wildbachverbauung
$89.99
Wirtschaftliche Implikationen des demografischen Wandels
$99.00
After Diagnosis: Family Caregiving with Hospice Patients
$39.99
Essentials of Mesenchymal Stem Cell Biology and Its Clinical Translation
$219.99
Conjugality
$54.99
Mechanical Behaviour of Materials
$109.99
Periphere Durchblutungskrankheiten im Spiegel der Mikrozirkulation
$59.99
DC Arc Analysis
$39.99
Actin: A Dynamic Framework for Multiple Plant Cell Functions
$219.99
Probabilistic and Stochastic Methods in Analysis, with Applications
$259.00
Migration and International Relations
$49.99
Berechnung des Gaswechsels kurbelkastengesplter Zweitaktmotoren unter Bercksichtigung des Einfluss
$59.99
Innovationspolitische Designprozesse
$69.99
Religion and Racial Progress in Twentieth-Century Britain
$54.99
Reading an Unknown Organization
$109.99
Cryogenic Operation of Silicon Power Devices
$84.99
Segregierte Quartiere segregierte Freizeitrume
$49.99
Asynchronous Circuit Design for VLSI Signal Processing
$169.99
Dienstleistungsmrkte in der Bundesrepublik Deutschland
$59.99
Digital Disruption
$99.99
The Gray Day: An Acorn Book (Rainbow Days #1)
$4.49
Reading Rancire for Education
$84.99
Invariantive Mechanics
$54.99
Freedom Walkers
$8.21
Biologische Kybernetik
$59.99
Sensors Based on Nanostructured Materials
$84.99
The Geometry of Domains in Space
$54.99
International Conference on Innovative Computing and Communications
$219.99
Verification and Compliance
$54.99
Handbook of Polymer Nanocomposites. Processing, Performance and Application
$219.99
The Politician
$64.99
Research, Ethics and Risk in the Authoritarian Field
$31.00
Schau den Dingen auf den Grund!
$69.99
Flash MX Designer's ActionScript Reference
$49.99
Entrepreneurship Viability Index
$84.99
Applications and Innovations in Intelligent Systems VII
$109.99
Functional Morphology of the Golgi Apparatus
$54.99
