The second edition of this successful textbook 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. The coverage of model-checking has been substantially updated. Further exercises have been added. Internet support for the book includes worked solutions for all exercises for teachers, and model solutions to some exercises for students.

Book Description

"About this title" may belong to another edition of this title.

Store Description

This book is being offered by Goodwill, a non-profit organization. All funds raised are used to support the Goodwill which provides quality, effective employment training and basic education to individuals experiencing significant barriers to economic opportunity. Because Jobs Change Lives. Proceeds from the sale of these goods and financial donations from the community make it possible for us to operate our free job training programs. Your donations and purchases help support these important programs and make the community a better place for all of us.

Visit Seller's Storefront

Seller's business information

Seattle Goodwill Industries
700 Dearborn PL S, Seattle, WA, 98144, U.S.A.

Sale & Shipping Terms

Terms of Sale

Returns are accepted according to the Abebooks Returns Policy. We respond to all inquiries within 2 business days.

Shipping Terms

We ship everything within 48 hours, and all our orders are shipped via UPS Mail Innovations. Please let us know if you have any questions or concerns. Customer satisfaction is our top priority.

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	5 to 14 business days	3 to 6 business days
First item	US$ 3.99	US$ 6.99

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.