Logic in Computer Science: Modelling and Reasoning about Systems
by:
Michael Huth (author)
Mark D Ryan (author)
Format: ebook
ISBN:
9780511261589 (0511261586)
Publish date: January 24th 2007
Publisher: Cambridge University Press
Pages no: 440
Edition language: English