Logic in computer science: Modelling and reasoning about systems

other_versions_link
Bibliographic Details
Main Author: Huth, Michael
Other Authors: Ryan, Mark
Format: Printed Book
Published: Cambridge University Press, Cambridge 2005
Subjects:
Computer science

Similar Items