Skip Navigation LinksEBook Details

Logic in Computer Science

Logic in Computer Science
Author: Huth/Ryan
Price: $69.99
ISBN-10: 0511261586
ISBN-13: 9780511261589
Get It!:
Format: PDF
Delivery: BibliU Reader
Duration: Lifetime

Note:
Copy Selections To Clipboard: User can copy content to the clipboard with the following restriction: Initially allowance of 4 copy selections. Another copy selection allowed every Day. To a maximum of 44 total copy selections.
Printing Pages: User can print pages with the following restriction: Initially allowance of 4 pages. Another page allowed every Day. To a maximum of 44 total pages.

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.