Huth, Michael
Logic in Computer Science Modelling and Reasoning about Systems - 2nd - New York Cambridge University Press 2005 - 427p. XIV
Paperback
9780521670890
Computer Logic
Reasoning, Modelling
681.3 / HUTH
Logic in Computer Science Modelling and Reasoning about Systems - 2nd - New York Cambridge University Press 2005 - 427p. XIV
Paperback
9780521670890
Computer Logic
Reasoning, Modelling
681.3 / HUTH