Logic in Computer Science
Modelling and Reasoning about Systems
2nd ed.
Our rough guess is there are 110,750 words in this book.
At a pace averaging 250 words per minute, this book will take 7 hours and 23 minutes to read. With a half hour per day, this will take 15 days to read.
How long will it take you?
This book will take an estimated to read at a reading speed averaging words per minute. With 30 minutes per day, this will take to read.
Enter your reading speedYou can take one of our WPM reading speed tests to find your reading speed.
Create a free account to track your reading progress, build your reading list, and set reading goals.
Author
Contributions
- Ryan, Mark - Contributor
Publication
2004 - Cambridge University Press, Leiden, Netherlands
Language
English
Word Count
110,750 words, Guess
Page Count
443 pages
Physical Format
Electronic resource
Identifiers
- Internet Archivelogiccomputersci00huth_305
- ISBN-100511264011
- ISBN-139780511264016
- OCLC Control Number476030464
- Open LibraryOL27071616M
Classifications
- DDC004.015113
- DDC005.1/01/5113
- LCCQA76.9.L63H88 2004
and 2 more
- LCCQA76.9.L63 H88 2004eb
- LCCQA76.9.L63
Description
This second edition continues 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 have been made throughout, with many extra and expanded sections and exercises. The coverage of model-checking has been substantially updated.
Subjects
Links
Other Editions
- Logic in Computer Science: Modelling and Reasoning about Systems
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!