Logic in Computer Science: Modelling and Reasoning about Systems

by Mark Ryan, Michael Huth

Education Mathematics Computer Science

0.0 out of 5 stars (0 ratings)

View on Amazon View on BAM Trade it in for cash!

Logic in Computer Science: Modelling and Reasoning about Systems offers a structured academic perspective on using logic to model systems and reason about their properties. Written by Mark Ryan and Michael Huth, this book is relevant to students and readers exploring formal methods, mathematics, and theoretical computer science.

ISBN-13 9780521543101 ASIN 052154310X Views 48 Publisher Cambridge University Press Year 2004 Edition 2 Format Paperback Product Group Book Pages 440 Adult No Created August 25, 2026 Updated September 08, 2026

About This Book

Logic in Computer Science: Modelling and Reasoning about Systems presents an academic treatment of logic as it applies to computer science.

The book focuses on modelling systems and reasoning about their properties, making it relevant to formal methods and theoretical computing.

Written by Mark Ryan and Michael Huth, it is suited to students, educators, and readers developing a structured understanding of computer science logic.

This listing describes a used book in good condition.

Reviews

No reviews yet. Be the first to review this book!

Write a Review

I will be using this book for:

1 total vote