An edition of Logic in Computer Science (2000)
Modelling and Reasoning about Systems
By Michael Huth
Publish Date
2004
Publisher
Cambridge University Press
Language
eng
Pages
443