Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540489580
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

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
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Communityorientierung in der Sozialen Arbeit

$49.99

Coping with Demographic Change: A Comparative View on Education and Local Government in Germany and

$54.99

Global Health Leadership

$59.99

Slavery, Gender, Truth, and Power in Luke-Acts and Other Ancient Narratives

$84.99

Swimming Physiology of Fish

$169.99

Financial, Staffing and Societal Sustainability of Dutch Health Care

$59.99

On Chinese Culture

$39.99

Oman Reborn

$99.99

50 Schlsselideen Chemie

$19.99

Quantum Mathematical Physics

$139.99

My River

$3.71

An Army at Dawn- The War in North Africa, 1942-1943 (Liberation Trilogy, Volume 1) by Rick Atkinson

$26.99

Quantum Tools for Macroscopic Systems

$59.99

Angiosperm Pollen and Ovules

$84.99

Fracture, Fatigue, Failure and Damage Evolution, Volume 6

$219.99

Several Complex Variables

$54.99

Naturerfahrung und Bildung

$29.99

Devianz aus der Sicht von Ttern

$49.99

Receptors, Membrane Transport and Signal Transduction

$84.99

Inverse Linear Problems on Hilbert Space and their Krylov Solvability

$119.99

Osserman Manifolds in Semi-Riemannian Geometry

$34.99

Computational Earthquake Science Part II

$54.99

Ethical Assessments of Emerging Technologies

$54.99

Sir Arthur Conan Doyle's The Red-Headed League

$3.71

Entwicklung eines Kennzahlensystems zur Vermarktung touristischer Destinationen

$69.99

The Role of Platelets in Blood-Biomaterial Interactions

$84.99

Quarks and Nuclear Structure

$84.99

Photonic Structures Inspired by Nature

$84.99

Security in Computing and Communications

$109.99

Principles of Microeconomics

$89.99

Wired/Wireless Internet Communications

$54.99

Introduction to Truncated Toeplitz Matrices

$84.99

Die Internationale Bauausstellung Emscher Park

$59.99

Education Policy Reform Trends in G20 Members

$84.99

Ultrafast Spectroscopy of Semiconductors and Semiconductor Nanostructures

$219.99

The Design and Implementation of Low-Power CMOS Radio Receivers

$84.99

Nano/Micro-Structured Materials for Energy and Biomedical Applications

$84.99

In Tandem Pathways towards a Postcolonial Anthropology | Im Tandem Wege zu einer postkolonialen

$39.99

The Responsibility to Protect and a Cosmopolitan Approach to Human Protection

$84.99

The Instant Pot Bible: More than 350 Recipes and Strategies: The Only Book You Need for Every Model of Instant Pot by Bruce Weinstein

$21.99