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

By:

Contributor(s):

Material type: Text

TextLanguage: English Publication details: New York : Cambridge University Press , 2012.Edition: 2nd edDescription: xiv,427p. ; PB 24 cmISBN:

Subject(s):

DDC classification:

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

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Status	Barcode
Book	St Aloysius Institute of Management & Information Technology	MCA	005.13 HUTM (Browse shelf(Opens below))	Available	MCA12810
Book	St Aloysius Institute of Management & Information Technology	MCA	005.13 HUTM (Browse shelf(Opens below))	Available	MCA13501
Book	St Aloysius Institute of Management & Information Technology	MCA	005.13 HUTM (Browse shelf(Opens below))	Available	MCA14092

Total holds: 0

Previous		No cover image available No cover image available	No cover image available No cover image available					Next
Previous	005.13 HOFC Computer programming languages in practice : made simple computerbooks /	005.13 HORE Fubdamentals of programming languages /	005.13 HORE Fubdamentals of programming languages /	005.13 HUTM Logic in computer science: modelling and reasoning about systems /	005.13 HUTM Logic in computer science: modelling and reasoning about systems /	005.13 HUTM Logic in computer science: modelling and reasoning about systems /	005.13 JOHN Goal programming in management.	Next

There are no comments on this title.

to post a comment.