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-proceedings of the 20th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2010, held in Hagenberg, Austria in July 2010. The 13 revised full papers presented together with two invited papers were carefully reviewed and selected from 26 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, application and tools, program/model manipulation, and transformation techniques for any programming language paradigm.
Reviews
Questions & Answers
Bewertung von Anleihen mit Fremdwhrungskomponente
$49.99
Fungal diversity, ecology and control management
$279.99
Arbeitsbuch zur deskriptiven und induktiven Statistik
$29.99
Elektromagnetische Vertrglichkeit in der Praxis
$99.99
Die Funktionen des Stirnhirns ihre Pathologie und Psychologie
$59.99
Organizations Environmental Performance Indicators
$84.99
Design-Oriented Analysis of Structures
$84.99
New Directions in Third Wave Human-Computer Interaction: Volume 2 - Methodologies
$169.99
Introduction to Cryptography with Maple
$39.99
Advances in Artificial Intelligence, Software and Systems Engineering
$249.99
Software Technologies
$39.99
Towards A European Nationality
$109.99
Die Psychologie als Verteidigerin der Moderne
$17.99
8th RILEM International Conference on Mechanisms of Cracking and Debonding in Pavements
$169.00
Accelerating Science and Engineering Discoveries Through Integrated Research Infrastructure for Expe
$79.99
Sustainable Agriculture Reviews
$149.00
Photoelectron Spectrometry
$84.99
AETA 2016: Recent Advances in Electrical Engineering and Related Sciences
$329.99
MicroRNA Targeted Cancer Therapy
$129.00
From Dedekind to Gdel
$219.99
Herzbehandlung mit dem Fingerhut einst und jetzt
$44.99
Multimedia Information Retrieval
$19.99
Transformationsprozesse in Deutschland
$59.99
Climate Change and Economic Development
$54.99
Implementation and Application of Automata
$39.99
Bewertung von Optionen unter Transaktionskosten
$59.99
Diplomacy on the Jordan
$169.00
Oh, No!
$5.96
Steuervorteile fr Architekten, Ingenieure, Chemiker und Erfinder
$59.99
Neo-/Victorian Biographilia and James Miranda Barry
$119.99
Voices of Resilience
$49.99
Active Networks and Active Network Management
$84.99
Scientific Visualization of Physical Phenomena
$39.99
GALLIUM ARSENIDE
$109.99
Methoden zur durchgngigen virtuellen Eigenschaftsentwicklung von Fahrzeugen mit Bremsregelsystem
$79.99
Russian Economic Development over Three Centuries
$199.99
Chinesische psychosomatische Medizin
$39.99
Prep And Rally: An Hour of Prep, A Week of Delicious Meals by Dini Klein
$30.00
Medizintechnik
$249.99
Renal Cell Cancer
$169.99
