Goa University

Logic in computer science:

Huth, Michael

Logic in computer science: modelling and reasoning about systems Michael Huth - 2nd ed. - New York. Cambridge University Press, 2010 - xiv, 427p. 24 cm.

Include bibliographical references and Index.

9780521670890


logic
Computer science

Designed & Maintained by: Goa University (GU Library)
Contact: System Analyst :ans @unigoa.ac.in


Powered by Koha