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 presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR'98 held in Manchester, UK in June 1998. The 16 revised full papers presented were carefully reviewed and selected during three rounds of inspection from a total of initially 36 extended abstracts submitted. Also included are eight short papers. Among the topics covered are logic specification, mathematical program construction, logic programming, computational logics, inductive program synthesis, constraint logic programs, and mathematical foundations.
Reviews
Questions & Answers
Modeling and Using Context
$39.99
Ergebnisse lngerfristiger Beobachtungen der Entwicklung mittelstndischer Einzelhandlungen
$59.99
Software Engineering Application in Informatics
$179.99
Data Management. Data, Data Everywhere
$39.99
Computer and Computing Technologies in Agriculture VII
$109.99
The Understanding and Management of Global Violence
$109.99
Medienerziehung im Kindergarten
$74.99
Differential Topology and General Equilibrium with Complete and Incomplete Markets
$169.99
Rechtsmittel im Steuerrecht
$89.99
Chassin's Operative Strategy in Colon and Rectal Surgery
$89.00
Reflecting on Indias Development
$84.99
Culture and Retardation
$54.99
Experimental Methods in Neuropsychology
$84.99
Breeding Plantation Tree Crops: Tropical Species
$379.99
Recovery of Gray Wolves in the Great Lakes Region of the United States
$109.99
Feedback Control Theory for Dynamic Traffic Assignment
$39.99
Trends in Parsing Technology
$84.99
Kompendium des Industrie-Design
$69.99
Engineering Electromagnetics
$109.99
Was ist physikalische Chemie?
$69.99
High Performance Computing in Science and Engineering '20
$249.99
Mathematical Structures of Epidemic Systems
$59.99
Nonlinear H2/H-Infinity Constrained Feedback Control
$199.99
Towards an Integrated Impact Assessment of Climate Change: The MINK Study
$109.99
Frozen Section Library: Gynecologic Pathology Intraoperative Consultation
$119.00
Games, Economic Dynamics, and Time Series Analysis
$54.99
Extravasation of Cytotoxic Agents
$109.99
Smart Objects and Technologies for Social Good
$54.99
Apt. 3
$5.96
Auge um Auge?
$49.99
Gotik und Graphik im Mathematikunterricht
$44.99
Wie kommt die Kultur in den Kopf?
$29.99
Rntgenfluoreszenzanalytische Methoden
$119.00
Combustion Modeling in Reciprocating Engines
$109.99
Pocket Guide Psychotherapie
$49.99
Intelligence and Security Oversight
$59.99
Transport Processes in Wood
$54.99
SQL Server 2000 Stored Procedures Handbook
$37.99
Mathematikunterricht in der Grundschule
$29.99
The Definitive Guide to SUSE Linux Enterprise Server
$54.99
