Skip to main content

Save £20 | Limited-Time Offer. Get the code »

alibris logo

Logic in Computer Science 2ed

by ,

Logic in Computer Science 2ed - Huth, Michael, and Ryan, Mark
Filter Results
Item Condition
Seller Rating
Other Options
Change Currency
+ Add to Wishlist

Provides a sound basis in logic, and introduces logical frameworks used in modelling, specifying and verifying computer systems.

loading
Currently there are no copies available. However, our inventory changes frequently. Please check back soon or try Book Fetch.
Alibris BBB Business Review

Terms of Use | Privacy Policy | Recommendations by Simularity | Accessibility Statement
Copyright © 1998 - 2024 Alibris UK. All rights reserved.

Alibris, the Alibris logo, and Alibris.com are registered trademarks of Alibris, Inc.

Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited, Baker & Taylor, Inc., or by their respective licensors, or by the publishers, or by their respective licensors. For personal use only. All rights reserved. All rights in images of books or other publications are reserved by the original copyright holders.