Logic in Computer Science

Author

Michael Huth; Mark Ryan

Publish Date

2004-08-26

Subtitle

Modelling and Reasoning about Systems

Book Type

Paperback

Number of Pages

440

Publisher Name

54

ISBN-10

052154310X

ISBN-13

9780521543101

citemno

087578

SKU

9780521543101