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

By:

Contributor(s):

Publication details: Cambridge Cambridge University Press 2004Edition: 2nd edDescription: xiv, 427 p. : ill. ; 25 cmISBN:

ISSN:

Subject(s):

DDC classification:

Item type: Books

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

Average rating: 0.0 (0 votes)

Holdings
Current library	Call number	Status	Date due	Barcode
Anna Centenary Library	004 HUT (Browse shelf(Opens below))	Available		101116

Previous					No cover image available	No cover image available	No cover image available	Next
Previous	004 HOU Enabling technologies for computational science : frameworks, middleware, and environments	004 HOW Human-computer interaction : interact '97 : IFIP TC13 international conference on human-computer Interaction, 14th-18th July, 1997, Sydney, Australia	004 HRO Theoretical computer science	004 HUT Logic in computer science : modelling and reasoning about systems	004 IAB Jaw's key strokes for Windows	004 IAB Basic computer application	004 IAB Basic computer application	Next

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

There are no comments on this title.

to post a comment.

Find us on the map