HUTH MICHAEL and RYAN MARK
Logic in Computer Science Modelling and Reasoning about Systems - 2nd - New York Cambridge University Press 2004 - XIV+427P
0-521-67089-6
Logic in Computer Science
Logic
in
Computer
Science
Logic in Computer Science
Logic in Computer Science Modelling and Reasoning about Systems - 2nd - New York Cambridge University Press 2004 - XIV+427P
0-521-67089-6
Logic in Computer Science
Logic
in
Computer
Science
Logic in Computer Science