Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan.

By:

Contributor(s):

Material type: Text

TextPublication details: Cambridge [U.K.] ; New York : Cambridge University Press, 2004Edition: 2nd edDescription: xiv, 427 p. : illISBN:

Subject(s):

DDC classification:

Online resources:

Tags from this library: No tags from this library for this title.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Books	School of Engineering	681.3.062 HUT (Browse shelf(Opens below))	Not for loan		SE27287

Previous	No cover image available	No cover image available	No cover image available		No cover image available	No cover image available	No cover image available	Next
Previous	681.3.062 HUB Data structures with JAVA	681.3.062 HUB Data structures with JAVA	681.3.062 HUB Data structures with JAVA	681.3.062 HUT Logic in computer science : modelling and reasoning about systems /	681.3.062 JAV Java unleashed	681.3.062 JAV Java unleashed	681.3.062 JAV Java applet powerpack	Next

Includes bibliographical references (p. 414-417) and index.

There are no comments on this title.

to post a comment.