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-conference proceedings of the 24th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2014, held in Canterbury, UK, in September 2014. The 18 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. The papers are organized along a set of thematic tracks: program analysis and transformation, constraint handling rules, termination analysis, security, program testing and verification, program synthesis, program derivation, semantic issues in logic programming and program transformation and optimization.
Reviews
Questions & Answers
Construction and Evolution of Code Generators
$54.99
Engineering Solutions for Sustainability
$129.00
Introduction to Applied Bayesian Statistics and Estimation for Social Scientists
$199.99
Bionik fr technische Produkte und Innovation
$17.99
Richtungswechsel
$39.99
Sharing Behavior of Brand Crisis Information on Social Media
$159.99
Forschung in der Chirurgie
$69.99
Handbook of Media and Communication Economics
$599.99
Integrated Education in Conflicted Societies
$54.99
Katherine Mansfield and the Modernist Marketplace
$39.99
The Quartz Crystal Microbalance in Soft Matter Research
$149.00
Theorie und Praxis des Dienstleistungsmarketing
$74.99
Empirical Analysis of Entrepreneurship and Economic Growth
$84.99
Plate Stability by Boundary Element Method
$109.99
Das Heureka-Prinzip
$19.99
Application of Thermo-fluid Processes in Energy Systems
$119.00
Artificial Intelligence in Theory and Practice IV
$109.99
Plant Growth Promoting Rhizobacteria for Sustainable Stress Management
$169.99
Phenomenology in Action for Researching Networked Learning
$109.00
Torsion and Shear Stresses in Ships
$169.99
Chronischer Schmerz Therapiekonzepte
$69.99
A Beginner's Guide to Scala, Object Orientation and Functional Programming
$54.99
Vom Heilig-Geist-Spital zur Wirtschaftswissenschaftlichen Fakultt
$57.00
Assembler I
$59.99
Mathematical Astronomy in Copernicus De Revolutionibus
$129.99
Materials at High Strain Rates
$219.99
Nanophotocatalysis and Environmental Applications
$84.99
Nahost Jahrbuch 1998
$69.99
Beta-Lactam Resistance in Gram-Negative Bacteria
$159.99
Understanding Risks and Uncertainties in Energy and Climate Policy
$59.99
Smith, Marx, & After
$39.99
Institutions and Market Economies
$109.99
Integrative Approaches in Environmental Health and Exposome Research
$119.00
Physical Models and Equilibrium Methods in Programming and Economics
$54.99
Scalable High Performance Computing for Knowledge Discovery and Data Mining
$109.99
Sex Workers and Criminalization in North America and China
$49.99
Recent Approaches in the Theory of Plates and Plate-Like Structures
$219.99
Advances in Fungal Biotechnology for Industry, Agriculture, and Medicine
$39.99
Creative Ways to apply Historical GIS
$159.99
Facet Theory and the Mapping Sentence
$119.99
