Logic in Computer Science Modelling and Reasoning about Systems

By:

Contributor(s):

Material type: Text

TextPublication details: New York Cambridge University Press 2005Edition: 2ndDescription: 427p. XIVISBN:

Subject(s):

Item type:

BOOKS

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

Average rating: 0.0 (0 votes)

Holdings
Home library	Call number	Materials specified	Status	Date due	Barcode
IMSc Library	681.3 HUTH (Browse shelf(Opens below))	Paperback	Available		72899

Paperback

There are no comments on this title.

to post a comment.