Normal view MARC view ISBD view

Logic in computer science [Book] modelling and reasoning about systems Michael Huth.

By:

Material type: Text

TextPublication details: Cambridge University PressEdition: 2nd EdISBN:

Subject(s):

DDC classification:

Other 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	Date due	Barcode	Item holds
Books	COMSATS University Abbottabad Campus	005.10151 HUT (Browse shelf(Opens below))	Available		10003000009715

Total holds: 0

Previous	No cover image available	No cover image available	No cover image available	No cover image available			No cover image available	Next
Previous	005.1 WHI Systems analysis and design methods	005.1 WHI Systems analysis and design methods	005.1 WIR Designing object-oriented software	005.10151 HUT Logic in computer science modelling and reasoning about systems	005.10151 NIZ Mathematical methods and programming	005.1068 BEA Cvisual models for software requirments	005.1068 BEN Software project management a practitioner's approach	Next

All.

There are no comments on this title.

to post a comment.