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

By:

Contributor(s):

Material type:

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	Barcode
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

Includes bibliographical references and index.

There are no comments on this title.

to post a comment.