Logic in Computer Science 2ed

Modelling and Reasoning about Systems

By: Michael Huth, Mark Ryan

Write A Review

Paperback | 26 August 2004 | Edition Number 2

At a Glance

Paperback
442 Pages

Edition Type
Revised

Dimensions(cm)
24.61 x 18.9 x 2.29

Paperback

RRP $109.95

$106.75

or 4 interest-free payments of $26.69 with

Ships in 5 to 7 business days

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.

Industry Reviews

'... an unusual, inspiring and remarkable book ... one can find in it all the material which is suitable for undergraduate and beginning graduate students in computer science and electrical engineering who will profit by using it in their professional activities in the near future.' Zentralblatt MATH 'The second edition of this successful textbook continues to provide a clear introduction to formal reasoning relevant to the needs of modern computer science and sufficiently exacting for practical applications.' Phinews 'This book provides an elegant introduction to formal reasoning that is relevant to computation science. This second edition improves the first one with extra and expanded sections on temporal logic model checking, SAT solvers, second-order logic, the Alloy specification language, and programming by contract. The material is up-to-date and practical ...' Zentralblatt MATH

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Information Technology General Issue Computer Science Systems Analysis & Design Computer Hardware Mathematical Theory of Computation Computer Architecture & Logic Design Computer Programming & Software Development Programming & Scripting Languages

Foreword
Propositional logic
Predicate logic
Verification by model checking
Program verification
Modal logics and agents
Binary decision diagrams
Bibliography
Index
Table of Contents provided by Publisher. All Rights Reserved.

Logic in Computer Science 2ed

Modelling and Reasoning about Systems

At a Glance

Paperback

Industry Reviews

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Programming & Scripting Languages

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

Learning Go

An Idiomatic Approach to Real-World Go Programming

Python All-in-One For Dummies

3rd Edition

Swift

The Practical Guide

Introduction to Programming Languages

The C Programming Language

Prentice Hall Software

Beginner's Step-by-Step Coding Course

Learn Computer Programming the Easy Way

Make: Electronics, 3e

Learning by Discovery: A hands-on primer for the new electronics enthusiast

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

Effective Modern C++

42 Specific Ways to Improve Your Use of C++11 And C++14

The Explosive Child: Sixth Edition

A New Approach for Understanding and Parenting Easily Frustrated, Chronically Inflexible Children

Fundamentals of Python

3rd Edition - First Programs

C# 10.0 All-in-One For Dummies

For Dummies (Computer/Tech)

Coding All-in-One For Dummies

2nd Edition

PHP, MySQL, & JavaScript All-In-One For Dummies

For Dummies

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Laravel: Up & Running

3rd Edition - A Framework for Building Modern PHP Apps

Effective Typescript

83 Specific Ways to Improve Your Typescript

Concurrency in C# Cookbook

2nd Edition - Asynchronous, Parallel, and Multithreaded Programming

MATLAB

6th Edition - A Practical Introduction to Programming and Problem Solving

C++ How to Program, Global Edition

10th Edition

Python Cookbook

Recipes for Mastering Python : 3rd Edition

Statistical Analysis with R For Dummies

For Dummies (Computer/Tech)

Coding For Dummies, All New Edition

For Dummies (Computer/Tech)

This product is categorised by