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
Notable Modern Indian Mathematicians and Statisticians
$32.99
Analyse und Simulation stochastischer Schwingungssysteme
$39.99
Faker (Hardcover)
$13.49
Artificial Neural Networks and Machine Learning ICANN 2018
$54.99
Advances in Speech and Language Technologies for Iberian Languages
$54.99
Banking Reform in India and China
$54.99
Interdisciplinary Approaches to the Oldowan
$54.99
Tools and Algorithms for the Construction and Analysis of Systems
$39.99
Snowflake Bentley (Hardcover)
$17.99
3D Printing
$6.71
Secondary Metabolites Based Green Synthesis of Nanomaterials and Their Applications
$149.00
Diversity in Coastal Marine Sciences
$219.99
Neue Mglichkeiten fr die Motorsteuergerte-Software durch Car-to-Cloud-Vernetzung
$69.99
If You Lived During the Plimoth Thanksgiving
$6.74
Advances in Mechanics of Time-Dependent Materials
$219.99
Law and Semiotics
$84.99
Mutation Breeding in Coffee with Special Reference to Leaf Rust
$59.99
Resource Use and Sustainability of Orang Asli
$129.99
Das Veterinrwesen einschlielich einiger verwandter Gebiete in Serbien. Das Veterinrwesen einschli
$59.99
Dialysis Access Management
$159.99
The Role of Organic Matter in Modern Agriculture
$39.99
Light Scattering in Liquids and Macromolecular Solutions
$39.99
E-Learning im digitalen Zeitalter
$64.99
Continuous Disclosure of Chinese Cross-Border Listed Companies in Australia
$179.99
Parallel and Distributed Processing and Applications
$129.00
Nachhaltigkeitsberichterstattung unter Compliance-Aspekten
$39.99
Fragility Fractures of the Pelvis
$199.99
Non-Semisimple Topological Quantum Field Theories for 3-Manifolds with Corners
$39.99
Cannabis/Hemp for Sustainable Agriculture and Materials
$199.99
The Foundations of Topological Graph Theory
$99.00
Beginning SAP Fiori
$79.99
Advances in Autonomous Robotics Systems
$54.99
Whatever Happened to the World of Tomorrow?
$11.21
Unusual Cases in Peritoneal Surface Malignancies
$54.99
Advanced and Applied Studies on Ultra-Trace Rare Earth Elements (REEs) in Carbonates Using SN-ICPMS
$129.00
Descriptive Theories of Bargaining
$54.99
Was machst du fr Geschichten?
$49.99
Einkauf in Handel und Industrie
$59.99
The Palgrave Handbook of German Idealism and Poststructuralism
$219.99
Magical Realism and Cosmopolitanism
$39.99
