Logic in Computer Science: Modelling and Reasoning about Systems (Paperback)
  • Logic in Computer Science: Modelling and Reasoning about Systems (Paperback)
zoom

Logic in Computer Science: Modelling and Reasoning about Systems (Paperback)

(author), (author)
£49.99
Paperback 440 Pages / Published: 26/08/2004
  • We can order this

Usually dispatched within 2 weeks

  • This item has been added to your basket
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.

Publisher: Cambridge University Press
ISBN: 9780521543101
Number of pages: 440
Weight: 750 g
Dimensions: 247 x 175 x 21 mm
Edition: 2nd Revised edition


MEDIA 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
"Huth and Ryan explain a variety of fundamental topics in formal computer science logic and help readers understand how to follow and expand on them." H.J. Bender, Any Language Communications, Inc., CHOICE
"Readers searching for a good book on formal methods will find it here." Choice

You may also be interested in...

Logic in Computer Science
Added to basket
Computational Physics
Added to basket
Sets, Logic and Maths for Computing
Added to basket
Foundation Mathematics
Added to basket
The Algorithm Design Manual
Added to basket
The Elements of Statistical Learning
Added to basket
Quantum Computer Science
Added to basket
Bayesian Methods for Hackers
Added to basket
Cryptanalysis
Added to basket
Number-Crunching
Added to basket
£24.00
Hardback
MATLAB Demystified
Added to basket
£21.99
Paperback
A First Course in Logic
Added to basket
Algorithms on Trees and Graphs
Added to basket
Lambda-Calculus and Combinators
Added to basket

Please sign in to write a review

Your review has been submitted successfully.