Price loading...

Logic in Computer Science: Modelling and Reasoning about Systems

Languages

Price data last checked 105 day(s) ago - refreshing...

View at Amazon

Price History & Forecast

No Price Data Available

Price history will appear here once data is collected from Amazon.

Price Distribution

No price data available for histogram

Description

Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products. There is increasing demand for training in basic methods in formal reasoning so that students can gain proficiency in logic-based verification methods. The second edition of this successful textbook addresses both those requirements, by continuing to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application. Improvements to the first edition have been made throughout, with extra and expanded sections on SAT solvers, existential/universal second-order logic, micro-models, programming by contract and total correctness. The coverage of model-checking has been substantially updated. Further exercises have been added. Internet support for the book includes worked solutions for all exercises for teachers, and model solutions to some exercises for students.

Key Features

New

Mint Condition

Dispatch same day for order received before 12 noon

Guaranteed packaging

No quibbles returns

Product Specifications

Format: paperback
ASIN: 052154310X
Category: Books > Subjects > Computing & Internet > Programming > Languages
Domain: Amazon UK
Release Date: 26 August 2004
Listed Since: 02 January 2007

Barcode

No barcode data available

Logic in Computer Science: Modelling and Reasoning about Systems

Price History & Forecast

No Price Data Available

Price Distribution

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

Modal Logic for Philosophers

Model Checking (Cyber Physical Systems Series)

Logic and Language Models for Computer Science: Third Edition

Logic for Mathematicians

Handbook of Philosophical Logic: 2

The Art of Prolog, second edition: Advanced Programming Techniques (Logic Programming)

Formal Methods in Computer Science (Textbooks in Mathematics)

Computation Engineering: Applied Automata Theory and Logic

Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)

Principles of Model Checking

Introduction to Mathematical Logic: Extended Edition

Language, Proof and Logic 2e +CD: Second Edition

Handbook of Philosophical Logic: Volume 8

Handbook of Satisfiability: Second Edition (Frontiers in Artificial Intelligence and Applications (IOS Press))

Computer-Aided Reasoning: ACL2 Case Studies: 4 (Advances in Formal Methods, 4)

Handbook of Philosophical Logic: 9

Logic in the Theory and Practice of Lawmaking: 2 (Legisprudence Library, 2)

Logic for Applications (Texts in Computer Science)

Routledge Logic Works - Introduction to Formal Logic Book

Logic Works: A Rigorous Introduction to Formal Logic

Computational Complexity: A Conceptual Perspective

Introduction to Logic and Logical Discourse

Introduction to Logic and Logical Discourse

Handbook of Philosophical Logic: Volume 10