Logic in Computer Science 2ed - Paperback

Logic in Computer Science 2ed - Paperback

$131.67
Skip to product information
Logic in Computer Science 2ed - Paperback

Logic in Computer Science 2ed - Paperback

$131.67
Shipping calculated at checkout.

by Michael Huth (Author), Mark Ryan (Author)

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. First Edition Hb (2000): 0-521-65200-6 First Edition Pb (2000): 0-521-65602-8

Number of Pages: 440
Dimensions: 0.9 x 9.7 x 6.9 IN
Publication Date: August 26, 2004

Made with care

Great value

Elegant design

Quality materials

Details

This product is crafted with quality materials to ensure durability and performance. Designed with your convenience in mind, it seamlessly fits into your everyday life.

Shipping & Returns

We strive to process and ship all orders in a timely manner, working diligently to ensure that your items are on their way to you as soon as possible.

We are committed to ensuring a positive shopping experience for all our customers. If for any reason you wish to return an item, we invite you to reach out to our team for assistance, and we will evaluate every return request with care and consideration.

Play video

Shop The Full Collection

!Ah y Le Lo Lay, Le Lo Ley! Musica Tipica de Puerto Rico - Paperback

!Búscalo! (Look It Up!): A Quick Reference Guide to Spanish Grammar and Usage - Hardcover

!Búscalo! (Look It Up!): A Quick Reference Guide to Spanish Grammar and Usage - Paperback

!Eureka! - Hardcover