Logic in Computer Science by Michael Huth
Look inside with Google Book Preview
Logic in Computer Science
By Michael Huth

Logic in Computer Science

Modelling and Reasoning About Systems 2nd Revised edition

By (author) See other recent books by Michael Huth See other recent books by Mark Ryan
Format: Paperback

Normal Price: $120.00
Your Price: $108.00 AUD, inc. GST
Shipping: $7.95 per order
You Save: $12.00! (10% off normal price)
Plus...earn $5.40 in Boomerang Bucks
Availability: Available Available to Backorder, No Due Date for Supply



Logic in Computer Science by Michael Huth

Book 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.

Buy Logic in Computer Science book by Michael Huth from Australia's Online Bookstore, Boomerang Books.


Book Details

ISBN: 9780521543101
ISBN-10: 052154310X
Format: Paperback
(247mm x 174mm x 21mm)
Pages: 440
Imprint: Cambridge University Press
Publisher: Cambridge University Press
Publish Date: 26-Aug-2004
Country of Publication: United Kingdom

Other Editions...


Reviews

» Have you read this book? We'd like to know what you think about it - write a review about Logic in Computer Science book by Michael Huth and you'll earn 50c in Boomerang Bucks loyalty dollars (you must be a member - it's free to sign up!)

Write a book review


Boomerang Bucks close

For every $20 you spend on books, you will receive $1 in Boomerang Bucks loyalty dollars. You can use your Boomerang Bucks as a credit towards a future purchase from Boomerang Books. Note that you must be a Member (free to sign up) and that conditions do apply.

Recent books by Michael Huth close
»
Recent books by Mark Ryan close
Geometry For Dummies by Mark Ryan
Robin Hood by Mark Ryan
Operation Insanity by Mark Ryan
Calculus For Dummies by Mark Ryan
Calculus Workbook For Dummies by Mark Ryan
Geometry for Dummies by Mark Ryan
Calculus for Dummies by Mark Ryan
First VCs by Mark Ryan
Last Torpedo Flyers by Mark Ryan
Unlocking Constitutional and Administrative Law by Mark Ryan
Down but Not Out by Mark Ryan
Last Torpedo Flyers by Mark Ryan
Running with Fire by Mark Ryan
Chevrolet Cavalier & Pontiac Automotive Repair Manual by Mark Ryan
Geometry Essentials For Dummies by Mark Ryan
Hornet's Sting by Mark Ryan
Mazda MPV Automotive Repair Manual by Mark Ryan
Calculus Essentials For Dummies by Mark Ryan
Geometry For Dummies Education Bundle by Mark Ryan
Geometry For Dummies by Mark Ryan
»
BoomerangBooks.com.au close