Central Library , Vidyasagar University

Your cart is empty.

Online Public Access Catalogue (OPAC)
Central Library - Vidyasagar University

“Education does not only mean learning, reading, writing, and arithmetic,

it should provide a comprehensive knowledge”

-Ishwarchandra Vidyasagar


Huth, Michael.

Logic in computer science : modelling and reasoning about systems / Michael Huth and Mark Ryan. - / . - Cambridge : Cambridge University Press , 2004. - xiv,427p. : Ill.,figs. ; 23cm. .

Includes bibliography and index

9780521670890 RS795.00

COMPUTER MODELING

003.3 / HUT/L

Powered by Koha