Logic in computer science: Michael Huth modelling and reasoning about systems

By:

Contributor(s):

Material type: Text

TextPublication details: Cambridge University Press, New York. 2010Edition: 2nd edDescription: xiv, 427p. 24 cmISBN:

Subject(s):

Tags from this library: No tags from this library for this title. Log in to add tags.

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Books	Goa University Library General Stacks 2	005.101 HUT/RYA (Browse shelf(Opens below))	Available		136838

Include bibliographical references and Index.

There are no comments on this title.

to post a comment.

Back to results