Logic in Computer Science: Modelling and Reasoning about Systems

By:

Contributor(s):

Material type: Text

TextPublication details: New York Cambridge University Press 2005Edition: 2nd edDescription: 427pISBN:

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	Item location	Collection	Call number	Status	Date due	Barcode	Item holds
Book	NIMA Knowledge Centre	9th Floor Reading Zone	General	005.101 HUT (Browse shelf(Opens below))	Available		M0018511

Total holds: 0

Previous								Next
Previous	005.1 PRE Software Engineering: A Practitioner's Approach	005.1 SAL A Simplified Text-cum-Workbook on Computer Oriented Numerical Methods: A Programming Approach	005.1 SOR Software Engineering Project Management	005.101 HUT Logic in Computer Science: Modelling and Reasoning about Systems	005.103 KUM The ICFAI Dictionary of Software Engineering	005.103 KUM The ICFAI Dictionary of Structured Systems Analysis and Design	005.106 HUM Introduction to the Personal Software Process	Next

There are no comments on this title.

to post a comment.