Logic in Computer Science: Modelling and Reasoning about Systems
by:
Michael Huth (author)
Mark Ryan (author)
Format: paperback
ISBN:
9780521543101 (052154310X)
Publish date: August 30th 2004
Publisher: Cambridge University Press
Pages no: 447
Edition language: English