Skip to main content alibris logo

Logic in Computer Science: Modelling and Reasoning about Systems

by ,

Write The First Customer Review
Logic in Computer Science: Modelling and Reasoning about Systems - 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: Modelling and Reasoning about Systems 1999, Cambridge University Press, Cambridge

ISBN-13: 9780521656023

Trade paperback