Normal view MARC view ISBD view

Logic in computer science modelling and reasoning about systems

By:

Contributor(s):

Material type: Text

TextPublication details: Cambridge University Press UK 2004Edition: 2Description: 427ISBN:

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	Collection	Call number	Status	Date due	Barcode
Books	Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre Computer Science	Systems	003.3 HUT/L (Browse shelf(Opens below))	Available		1215

Previous				No cover image available	No cover image available			Next
Previous	003.3 GOM/S Software modeling and design: UML, use cases, patterns, and software architectures	003.3 HSU/C Computer logic: Design principles and applications	003.3 HUA/C Computer simulation techniques in process improvement and management	003.3 HUT/L Logic in computer science modelling and reasoning about systems	003.3 HUT/L Logic in computer science modelling and reasoning about systems	003.3 KOB/S System modeling and analysis: Foundations of system performance evaluation	003.3 MIN/P Proceedings of National Conference on Methods and Models in Computing	Next

There are no comments on this title.

to post a comment.