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:
Buy Logic-Based Program Synthesis and Transformation for $54.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
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
Teaching Effectiveness and Teacher Development
$54.99
Qualitative Textanalyse mit Topic-Modellen
$24.99
Die Grundlagen der Soziometrie
$69.99
Immunological Aspects of Reproduction and Fertility Control
$39.99
Two-Dimensional Electrophoresis and Immunological Techniques
$54.99
The Role of the Subsidiary in International Business
$54.99
The Theatre of Joseph Conrad
$54.99
Pro VB 2010 and the .NET 4.0 Platform
$44.99
New aspects of mineral and water resources in The Netherlands
$49.99
The Biosaline Concept
$39.99
Diagnosis and Management of Complications of Peritoneal Dialysis related Peritonitis
$119.00
Unemployment, Social Vulnerability, and Health in Europe
$109.99![Ultimate Veg - Easy & Delicious Meals for Everyone [American Measurements] by Jamie Oliver](https://slimages.macysassets.com/is/image/MCY/products/8/optimized/21411638_fpx.tif?wid=1200&fmt=jpeg&qlt=100)
Ultimate Veg - Easy & Delicious Meals for Everyone [American Measurements] by Jamie Oliver
$35.00
Psychiatrische Institutionen
$69.99
Katherine Mansfield and the Art of the Short Story
$70.00
Stochastic Models with Power-Law Tails
$119.00
Vorlesungen ber Mathematische Statistik
$39.99
The Season of Styx Malone
$6.71
Neurourology
$219.00
Reflexivity in Social Research
$54.99
Social Development in the World Bank
$59.99
Verstndliche Quantenmechanik
$39.99
There Was an Old Lady: Un da una Astronauta se trag la Luna!
$4.46
Principles of Public and Private Infrastructure Delivery
$109.99
Wahrscheinlichkeitstheorie
$59.99
Computational Science and Its Applications ICCSA 2024
$189.00
Technology Intelligence
$109.99
The Patellofemoral Joint
$159.99
Second Generation Subsea Production Systems
$279.99
The Phanerozoic Geology and Natural Resources of Egypt
$249.99
Biologically Inspired Approaches for Locomotion, Anomaly Detection and Reconfiguration for Walking R
$109.99
Cancer Genomics
$219.99
S3-Leitlinie Screening, Diagnose und Behandlung alkoholbezogener Strungen
$49.99
Air Traffic and the Environment Background, Tendencies and Potential Global Atmospheric Effects
$109.99
Frizzy by Claribel A. Ortega
$14.99
Human Centred Intelligent Systems
$299.99
Linear Algebra and Linear Models
$74.99
Postoperative Epidural Opioids
$109.99
Phenomenology and Existentialism in the Twenthieth Century
$219.99
Wealth(s) and Subjective Well-Being
$119.00
