Campus eBookstore Logo

Skip Navigation LinksEBook Details

180 Day Subscription Logic in Computer Science

180 Day Subscription Logic in Computer Science
Author: Huth/Ryan
Price: $55.95
ISBN-10: 9780511261589R
ISBN-13: 9780511261589R
Get It!:
Delivery: BibliU Reader
Duration: 180 Days

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 40 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 40 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.