Skip to main content alibris logo

Logic in Computer Science 2ed

by ,

Write The First Customer Review
Logic in Computer Science 2ed - Huth, Michael, and Ryan, Mark
Filter Results
Item Condition
Seller Rating
Other Options
Change Currency

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

loading
Logic in Computer Science 2ed 2004, Cambridge University Press, Cambridge

ISBN-13: 9780521543101

2nd Revised edition

Trade paperback