Buy Textbooks  |  Rent Textbooks  |  Sell Textbooks  |  eTextbooks
Help  |  Questions? 1-877-292-6442
Hello, Sign In
Your Account
0

Logic in Computer Science : Modelling and Reasoning about Systems - 2nd edition

Logic in Computer Science : Modelling and Reasoning about Systems (ISBN10: 052154310X; ISBN13: 9780521543101)
ISBN13: 978-0521543101
ISBN10: 052154310X

Summary: 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. Improvements have been made throughout with many new and expanded text sections. The coverage of model-checking has been substantially updated and additional exercises are included. Internet support includes worked solutions for teacher exercises and model so
lutions to some student exercises.
...show more
Summary: 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. Improvements have been made throughout with many new and expanded text sections. The coverage of model-checking has been substantially updated and additional exercises are included. Internet support includes worked solutions for teacher exercises and model solutions to some student exercises. ...show less

Edition/Copyright: 2ND 04
Cover:
Publisher: Cambridge University Press
Year Published: 2004
International: No

View Review
View Table of Contents



List Price: $0.00
Used  Currently Sold Out
New  Currently Sold Out
Close
Close
Close