Proof and Computation: 139 (NATO ASI Subseries F:, 139) - Image 1

£77.43

Springer Proof and Computation: 139 (NATO ASI Subseries F:, 139)

Name: Proof and Computation: 139 (NATO ASI Subseries F:, 139)
Brand: Springer
Price: 77.89 GBP
Availability: InStock

Architecture & Microprocessors

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 35 days • 1 price levels

Days at Price

Price Analysis

Most common price: £78 (35 days, 100.0%)

Price range: £78 - £78

Price levels: 1 different prices over 35 days

Description

Logical concepts and methods are of growing importance in many areas of computer science. The proofs-as-programs paradigm and the wide acceptance of Prolog show this clearly. The logical notion of a formal proof in various constructive systems can be viewed as a very explicit way to describe a computation procedure. Also conversely, the development of logical systems has been influenced by accumulating knowledge on rewriting and unification techniques. This volume contains a series of lectures by leading researchers giving a presentation of new ideas on the impact of the concept of a formal proof on computation theory. The subjects covered are: specification and abstract data types, proving techniques, constructive methods, linear logic, and concurrency and logic.

Product Specifications

Brand: Springer
Format: Paperback
ASIN: 3642793630
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 13 December 2011
Listed Since: 13 July 2012

Barcode

No barcode data available

Springer Proof and Computation: 139 (NATO ASI Subseries F:, 139)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Logic of Computation: SER F / v.157 (NATO ASI)

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

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

Logic and Language Models for Computer Science: Third Edition

Handbook of Proof Theory (Volume 137) (Studies in Logic and the Foundations of Mathematics, Volume 137)

Logic for Applications (Texts in Computer Science)

Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)

Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction (Springer Monographs in Mathematics)

A Logical Approach to Discrete Math (Monographs in Computer Science)

The Calculus of Computation: Decision Procedures with Applications to Verification

Logic and Complexity (Discrete Mathematics and Theoretical Computer Science)

Mathematical Logic for Computer Science

A Programming Approach to Computability (Monographs in Computer Science)

Sets and Proofs: Invited Papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997: 258 (London ... Lecture Note Series, Series Number 258)

Logic Programming: A Classified Bibliography

Substructural Logics: A Primer: 13 (Trends in Logic, 13)

Models of Computation (Texts in Theoretical Computer Science. An EATCS Series)

Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy

Verification of Sequential and Concurrent Programs (Texts in Computer Science)

Models and Computability: Invited Papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997: 259 ... Lecture Note Series, Series Number 259)

Logical Foundations of Proof Complexity (Perspectives in Logic)

Logic, Language and Computation: 5 (Applied Logic Series, 5)

Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size

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