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 25th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2015, held in Siena, Italy, in July 2015. The 21 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 30 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large.
Reviews
Questions & Answers
Consuming Cultural Hegemony
$79.99
Concepts, Clinical Developments, and Therapeutic Advances in Cancer Chemotherapy
$129.00
The Enlightenment and Modernity
$109.99
Advances in Databases and Information Systems
$54.99
Zerstrungsfreie Werkstoffprfung mittels holografischer Interferometrie
$54.99
Intracranial EEG
$159.99
C++/CLI
$54.99
Fttinger-Kupplungen und Fttinger-Getriebe
$44.99
50 Jahre Verfassung des Landes Hessen
$79.99
The Use of Force against Ukraine and International Law
$169.99
Soziallandschaften
$39.99
Professionelle Entscheidungen angehender Lehrpersonen in der Frderung selbstregulierten Lernens
$74.99
Ratgeber Polyneuropathie und Restless Legs
$19.99
Frontiers in Materials Research
$169.99
Management von Industriedienstleistern
$59.99
Einfhrung in die Vererbungslehre
$49.99
Diseases of the Gastroesophageal Mucosa
$84.99
Project Management for Facility Constructions
$109.99
Dynamics, Strength of Materials and Durability in Multiscale Mechanics
$169.99
Monetary Theory as a Basis for Monetary Policy
$109.99
Armed Forces and Society in Europe
$84.99
Westminster and Europe
$109.99
Medical Virology 8
$169.99
Wettbewerbs- und Kartellrecht
$69.99
Performance Measurement
$49.99
Innovations in Sustainable Agricultural Systems, Volume 1
$179.99
Rewriting Sex: Sexual Knowledge in Antebellum America
$59.99
Mass Spectrometry Imaging
$84.99
Everyday Life in Austerity
$84.99
Urban Identity and the Atlantic World
$39.99
The Road to Democratic Development Statehood in Africa
$109.00
Current Trends in Mathematical Analysis and Its Interdisciplinary Applications
$199.99
Der grosse Pbel- und Sklavenaufstand
$49.99
Richter ber internationale Gerichte?
$59.99
Virtue, Happiness and Duclos Histoire de Madame de Luz
$54.99
Die Amitose der Tierischen und Menschlichen Zelle
$59.99
Hermann Hellers demokratischer Konstitutionalismus
$74.99
Klinische Anatomie des Ohres
$89.00
The Chick Embryo Chorioallantoic Membrane in the Study of Angiogenesis and Metastasis
$84.99
Thymic Development and Selection of T Lymphocytes
$109.99
