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, c2004.Edition: 2nd edDescription: xiv, 427 p. : ill. ; 24 cmISBN:

Subject(s):

DDC classification:

Online resources:

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

Holdings
Item type	Current library	Call number	Copy number	Status	Date due	Barcode	Item holds
Books	Central Library, KUET General Stacks	005.1015113 HUT (Browse shelf(Opens below))	1	Available		3010036759
Books	Central Library, KUET General Stacks	005.1015113 HUT (Browse shelf(Opens below))	2	Available		3010036760

Total holds: 0

Previous								Next
Previous	005.1 THO The pragmatic programmer : your journey to mastery /	005.1 THO The pragmatic programmer : your journey to mastery /	005.1 THO The pragmatic programmer : your journey to mastery /	005.1015113 HUT Logic in computer science :	005.1015113 HUT Logic in computer science :	005.1068 BRO The mythical man-month : \| Anniversary ed.	005.1068 BRO The mythical man-month : \| Anniversary ed.	Next

Includes bibliographical references and index.

There are no comments on this title.

to post a comment.