Logic in computer science: modelling and reasoning about systems

By:

Contributor(s):

Publication details: Cambridge University Press, 2004. Delhi :Edition: 2nd edDescription: xiv, 427p. : ill. ; 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	Call number	Status	Barcode
Books	IIT Gandhinagar General Stacks	005.101 HUT (Browse shelf(Opens below))	Available	027612

Includes bibliographical references and index.

There are no comments on this title.

to post a comment.