Computing in Horn Clause Theories: 16 (Monographs in Theoretical Computer Science. An EATCS Series, 16) - Image 1

£40.84

Springer Computing in Horn Clause Theories: 16 (Monographs in Theoretical Computer Science. An EATCS Series, 16)

Name: Computing in Horn Clause Theories: 16 (Monographs in Theoretical Computer Science. An EATCS Series, 16)
Brand: Springer
Price: 40.84 GBP
Availability: InStock

Compilers

This is the usual price. Wait for it to drop, or tell us your number.

£41 today · usual range £0–£0 · best ever £38

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 636 days • 636 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 636 days • 4 price levels

Days at Price

Current Price

Price Analysis

Most common price: £39 (284 days, 44.7%)

Price range: £38 - £42

Price levels: 4 different prices over 636 days

Description

At least four research fields detennine the theoretical background of specification and deduction in computer science: recursion theory, automated theorem proving, abstract data types and tenn rewriting systems. As these areas approach each other more and more, the strong distinctions between functional and relational views, deductive and denotational approaches as well as between specification and programming are relieved in favour of their integration. The book will not expose the lines of this development; conversely, it starts out from the nucleus of Hom clause logic and brings forth both known and unknown results, most of which affect more than one of the fields mentioned above. Chapter 1 touches on historical issues of specification and prototyping and delimits the topics handled in this book from others which are at the core of related work. Chapter 2 provides the fundamental notions and notations needed for the presentation and interpretation of many-sorted Horn clause theories with equality. Chapter 3 supplies a number of sample Hom clause specifications ranging from arithmetic through string manipulation to higher data structures and interpreters of programming languages. Some of these examples serve as a reference to illustrate definitions and results, others may throw a light on the strong link between specifications and programs, which are executed by applying deduction rules. Thus we have included examples of how to use program trans/ormation methods in specification design.

Product Specifications

Brand: Springer
Format: Paperback
ASIN: 3642738265
Category: Books > Subjects > Computing & Internet > Programming > Compilers
Domain: Amazon UK
Release Date: 03 December 2011
Listed Since: 12 July 2012

Barcode

No barcode data available

Springer Computing in Horn Clause Theories: 16 (Monographs in Theoretical Computer Science. An EATCS Series, 16)

This is the usual price. Wait for it to drop, or tell us your number.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Reflections on the Work of C.A.R. Hoare

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

Handbook of Formal Languages: Volume 2. Linear Modeling: Background and Application

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

Lectures on the Curry-Howard Isomorphism

Proof and System-Reliability: v. 62 (NATO Science Series II)

A Programming Approach to Computability (Monographs in Computer Science)

A Philosophical Introduction to Higher-order Logics

Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)

Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday: 4060 (Lecture Notes in Computer Science, 4060)

Lectures on the Curry-Howard Isomorphism (Volume 149) (Studies in Logic and the Foundations of Mathematics, Volume 149)

Constructive Models (Siberian School of Algebra and Logic)

Formal Language: A Practical Introduction

Constructive Models (Siberian School of Algebra and Logic)

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

Logic and Language Models for Computer Science: Third Edition

Handbook of Automated Reasoning (Volume 1)

Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)

Declarative Logic Programming: Theory, Systems, and Applications (ACM Books)

Nondeterminism in Algebraic Specifications and Algebraic Programs (Progress in Theoretical Computer Science)

Computational Logic: 165 (NATO ASI Subseries F:, 165)