Huth, M
Logic in computer science: Modelling and reasoning about systems - New Delhi Cambridge University Press 2004 - xiv, 427p.
9780521670890
Logic in computer science: Modelling and reasoning about systems - New Delhi Cambridge University Press 2004 - xiv, 427p.
9780521670890