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 post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012. The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 27 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
Methodologie der Sozialwissenschaften
$44.99
Organising the Propaganda Instrument: The British Experience
$54.99
Chinese in Colonial Burma
$99.99
Women of Walt Disney Imagineering: 12 Women Reflect on their Trailblazing Theme Park Careers Book
$29.99
Software Language Engineering
$54.99
Painless Project Management with FogBugz
$34.99
Der Personalentwickler
$59.99
Global Bariatric Surgery
$169.99
Umformung kunststoffbeschichteter Stahlbleche durch Tiefziehen
$79.99
Cybersecurity Data Science
$169.99
Recent Developments in Integrable Systems and Related Topics of Mathematical Physics
$109.99
Relaxin
$39.99
The GCC Economies
$199.99
QCD Radiation in Top-Antitop and Z+Jets Final States
$84.99
Meelektronik in der Kernphysik
$59.99
Contemporary Metabolism
$39.99
Tough on Criminal Wealth
$84.99
New Challenges in Distributed Information Filtering and Retrieval
$109.99
Numerische Methoden bei Optimierungsaufgaben
$39.99
Advances in Bioactivation Research
$219.99
BAIL 2010 - Boundary and Interior Layers, Computational and Asymptotic Methods
$109.99
Statistical Analysis of Clinical Data on a Pocket Calculator, Part 2
$34.99
Advances in Industrial Safety
$129.00
Politics and Emotions in Romantic Periodicals
$89.00
Sleep Related Breathing Disorders
$109.99
Georessource Wasser - Herausforderung Globaler Wandel
$44.99
Erziehungswissenschaftliche Studien zu schulischer Persnlichkeitsbildung
$49.99
Fertility Preservation in Males
$54.99
Ambitionierte Komplizenschaft
$69.99
Static Analysis
$54.99
Der typische Rechtsfehler
$69.99
Photobiomodulation for the Brain
$39.99
Multi-Channel-Retailing
$89.99
Structure and Properties of Polymers
$84.99
No es una caja
$4.88
Adverse Effects of Herbal Drugs 2
$109.99
Advanced Biopolymeric Systems for Drug Delivery
$84.99
Design Optimization of Renewable Energy Systems Using Advanced Optimization Algorithms
$169.99
Must-Read Biographies: Arts & Sports
$22.49
Conflict and Multimodal Communication
$84.99
