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

Powered by Koha