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 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
Die christliche Predigt im 21. Jahrhundert
$49.99
Total Mayhem: Wednesday - The Forest of Secrets
$16.49
Bio-inspired Systems and Applications: from Robotics to Ambient Intelligence
$99.99
Nonlinear Maps and their Applications
$129.00
Research and Management Practices for Conservation of the Persian Leopard in Iran
$109.99
Dangerous and Dishonest Men: The International Bankers of Louis XIV's France
$84.99
Post Merger Integration von Logistikdienstleistern
$69.99
Scholastic Reader! Pre-Level 1-Gus: Gus Gets Mad
$2.99
Theology and World Politics
$109.99
Anglo-French Relations 1934-36
$19.99
Kernfragen des Unternehmenssteuerrechts
$69.99
Human Factors and Reliability Engineering for Safety and Security in Critical Infrastructures
$169.99
Die Schtzung von industriellen Grundstcken und Fabrikanlagen sowie von Grundstcken und Gebuden z
$59.99
Estrogens and Antiestrogens II
$84.99
Food Web Management
$219.99
Nature of Science for Social Justice
$169.99
Fundamental Research in Ultra High Dilution and Homoeopathy
$169.99
Pharmacologic Trends of Heart Failure
$69.99
Foreign Capital Flows and Economic Development in Africa
$169.99
Methods for Measuring Greenhouse Gas Balances and Evaluating Mitigation Options in Smallholder Agric
$59.99
Die angepassten Provokateure
$59.99
Proceedings of Fourth International Conference on Soft Computing for Problem Solving
$219.99
A Brief History of Computing
$69.99
Globular Clusters - Guides to Galaxies
$84.99
Wie funktioniert MRI?
$49.99
Biomarkers of the Tumor Microenvironment
$139.99
Grne Gentechnik
$17.99
Speaking Out
$5.12
The Cost Stickiness Phenomenon
$54.99
Geomorphology of Brazil: Complexity, Interscale and Landscape
$169.99
Entrepreneurship Policy: Theory and Practice
$169.00
Neuartige Belastungs- und Messeinrichtungen fr Schwingungsversuche an armierten und vorgespannten B
$54.99
Pervasive Computing and the Networked World
$39.99
School Leadership Effects Revisited
$39.99
Anticancer Genes
$109.99
Thermodynamik der Strahlung
$34.99
Faith, Philosophy and the Reflective Muslim
$54.99
Mexican Studies in the History and Philosophy of Science
$84.99
Social Institutions and Economic Development
$84.99
High-Throughput Metabolomics
$249.99
