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:
Buy Logic Program Synthesis and Transformation for $39.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
|
|
$39.99 | $39.99 |
|
$39.99 | 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
Neural Networks: Computational Models and Applications
$169.99
Software-Metriken
$74.99
Chloroplasts
$109.99
Beg You to Trust Me by B. Celeste
$17.99
Race, Memory and the Apartheid Archive
$54.99
Wissenschaftskommunikation in Forschungsverbnden
$59.99
Modern Portfolio Optimization with NuOPT, S-PLUS, and S+Bayes
$109.99
Regulating Chemical Risks
$169.99
The Problem of Objectivity in Gadamer's Hermeneutics in Light of McDowell's Empiricism
$39.99
Handbook of New Institutional Economics
$299.00
Signaling Family Firm Identity
$54.99
A Renormalization Group Analysis of the Hierarchical Model in Statistical Mechanics
$39.99
Beyond Leadership
$129.99
Language and Production
$84.99
Mammals of North America - Volume 2
$249.99
Governing Through Technology
$109.99
Technische Messungen bei Maschinenuntersuchungen und im Betriebe
$59.99
The Little Red Fort
$5.99
Current Trends in Immunity and Respiratory Infections
$159.99
Critical Discursive Psychology
$109.99
Karrierepolitik
$59.99
Immunopathology in Toxicology and Drug Development
$219.99
Ein zweites Steinzeitalter?
$59.99
Infektionen von Gefprothesen
$89.99
Women and Persona Performance
$119.99
Origin and Evolution of Biodiversity
$109.99
Applied Chemical Process Design
$119.00
Queer Natives in Latin America
$64.99
Das Wort, das Spiel, das Bild
$49.99
Value Distribution of Holomorphic Maps into Compact Complex Manifolds
$34.99
Ichnoentomology
$169.99
Kavalkade
$59.99
Vaccine Design
$109.00
Beyond Evidence Based Policy in Public Health
$119.99
Information Systems Security
$54.99
Die Gewebe
$59.99
Building Bridges Among the BRICs
$39.99
The Theory of the Knowledge Square: The Fuzzy Rational Foundations of the Knowledge-Production Syste
$109.99
Identittsbildung in der Jugendarbeit
$74.99
Comic Provocations
$54.99
