Logic in computer science Modelling and reasoning about systems /
Huth, Michael
Logic in computer science Modelling and reasoning about systems / - 2nd ed. - Cambridge Univeristy Press , 2004. - 427 p.
052154310x
Computer Science Ethics
Logic in computer science Modelling and reasoning about systems / - 2nd ed. - Cambridge Univeristy Press , 2004. - 427 p.
052154310x
Computer Science Ethics