The Calculus of Computation: Decision Procedures with Applications to Verification - Image 1

£59.19

Springer The Calculus of Computation: Decision Procedures with Applications to Verification

Name: The Calculus of Computation: Decision Procedures with Applications to Verification
Brand: Springer
Price: 58.93 GBP
Availability: InStock

Architecture & Microprocessors

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 18 days • 1 price levels

Days at Price

Price Analysis

Most common price: £59 (18 days, 100.0%)

Price range: £59 - £59

Price levels: 1 different prices over 18 days

Description

Computational logic is a fast-growing field with applications in artificial intelligence, constraint solving, and the design and verification of software and hardware systems. Written with graduate and advanced undergraduate students in mind, this textbook introduces computational logic from the foundations of first-order logic to state-of-the-art decision procedures for arithmetic, data structures, and combination theories. This textbook also presents a logical approach to engineering correct software. The increasing ubiquity of computers makes implementing correct systems more important than ever. Verification exercises develop the reader's facility in specifying and verifying software using logic. The treatment of verification concludes with an introduction to the static analysis of software, an important component of modern verification systems. For readers interested in learning more about computational logic, decision procedures, verification, and other areas of formal methods, the final chapter outlines courses of further study.

Product Specifications

Brand: Springer
Format: Hardcover
ASIN: 3540741127
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 03 September 2007
Listed Since: 02 August 2007

Barcode

No barcode data available

Springer The Calculus of Computation: Decision Procedures with Applications to Verification

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Computation Engineering: Applied Automata Theory and Logic

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

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

Computation Engineering: Applied Automata Theory and Logic

Logic and Complexity (Discrete Mathematics and Theoretical Computer Science)

Logic for Applications (Texts in Computer Science)

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 10 (Applied Logic Series)

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

Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)

A Programming Approach to Computability (Monographs in Computer Science)

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science)

Mathematical Logic for Computer Science

Theory of Computation (Texts in Computer Science)

Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)

Logic in Computer Science: Modelling and Reasoning about Systems

Theory of Computation: Automata, Formal Languages, Computation and Complexity

Formal Verification of Floating-Point Hardware Design: A Mathematical Approach

Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)

Computational Complexity: A Conceptual Perspective

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

Temporal Logic - World Scientific Publishing Company Book

Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version

Logic Synthesis and Verification Algorithms