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 Program Synthesis and Transformation
Best Price (Coupon Required):
Buy Logic 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 refereed proceedings of the 5th International Workshop on Logic Program Synthesis and Transformation, LOPSTR'95, held in Utrecht, The Netherlands in September 1995. The 19 papers included were selected from 40 workshop submissions; they offer a unique up-to-date account of the use of formal synthesis and transformation techniques for computer-aided development of logic programs. Among the topics addressed are deductive and inductive program synthesis, synthesis models based on constructive type theory, program specification, program analysis, theorem proving, and applications to various types of programs.
Reviews
Questions & Answers
Writing: A Project-Based Approach (10-copy pack)
$142.40
Borders and Mobility in Turkey
$59.99
Huawei Goes Global
$109.00
The Politics of Translation in International Relations
$109.00
Romantic Geography
$109.99
Safety with Lasers and Other Optical Sources
$169.00
Color Atlas of Female Genital Tract Pathology
$299.99
Protocols in Human Molecular Genetics
$89.00
Analytische Literaturwissenschaft
$59.99
Memory Development from Early Childhood Through Emerging Adulthood
$109.99
Introduction to Nursing Informatics
$74.99
EconomicEnvironmentalEnergy Interactions
$169.99
Entscheidung bei Zielkonflikten
$49.99
Reliability Theory Based on Uncertain Lifetimes
$109.99
Operations Research I
$49.99
Resource Ecology
$219.99
High-Level Parallel Programming Models and Supportive Environments
$54.99
Die Steuerung von Kundenintegrationsprozessen
$59.99
The Challenge for Japanese Multinationals
$84.99
Teacher Education Policy and Research
$159.99
European Security in the 1990s
$84.99
Zentrale Strungen der Temperaturregulation
$59.99
Teaching and Learning Employability Skills in Career and Technical Education
$159.99
Trollope And The Law
$24.99
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2002
$84.99
Mastering Scientific and Medical Writing
$29.99
Functional Differential Equations with Infinite Delay
$44.99
Argument Types and Fallacies in Legal Argumentation
$79.99
Schmerzbehandlung Epidurale Opiatanalgesie
$69.99
A First Course in Discrete Dynamical Systems
$79.99
Essentials of Ultrasonography
$109.99
My Books Summer Grade 9-12 Nonfiction - Classroom Set
$795.00
Ancient Philosophy of the Self
$169.99
Connective Tissues in Arterial and Pulmonary Disease
$39.99
Demokratie in der Grostadt
$37.99
Die Toolbox fr die Teamentwicklung
$17.99
Regionalization and Labour Market Interdependence in East and Southeast Asia
$109.99
Monte Carlo and Quasi-Monte Carlo Sampling
$79.99
Waste to Wealth
$54.99
Debating Orientalism
$54.99
