Logic in Computer Science modelling and reasoning about systems

By:

Contributor(s):

Material type:

TextPublication details: New Delhi Cambridge University Press 2010Edition: 2/eDescription: xiv ,427ISBN:

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	Barcode
Books	NMIT	M.Tech-CSE	005.1 HUT (Browse shelf(Opens below))	Available	23093
Books	NMIT	M.Tech-CSE	005.1 HUT (Browse shelf(Opens below))	Available	23094
Reference	NMIT	M.Tech-CSE	003.5 HUT (Browse shelf(Opens below))	Available	22492
Books	NMIT	M.Tech-CSE	003.5 HUT (Browse shelf(Opens below))	Available	22493
Books	NMIT	M.Tech-CSE	003.5 HUT (Browse shelf(Opens below))	Available	22494
Books	NMIT	M.Tech-CSE	003.5 HUT (Browse shelf(Opens below))	Available	22495
Books	NMIT	M.Tech-CSE	003.5 HUT (Browse shelf(Opens below))	Available	22496
Books	NMIT	CSE	003.5 HUT (Browse shelf(Opens below))	Available	16023

Browsing NMIT shelves,Collection: CSE Close shelf browser (Hides shelf browser)

Previous								Next
Previous	003.3 ZEI Theory of Modeling and Simulation: Integrating Discrete Event and Continuous Complex Dynamic Systems	003.3 ZEI Theory of Modeling and Simulation: Integrating Discrete Event and Continuous Complex Dynamic Systems	003.351 33 KAR Modern Statistical Systems and GPSS Simulation	003.5 HUT Logic in Computer Science: modelling and reasoning about systems	003.5 JAN Chemical Process Modelling and Computer Simulation	003.52 ALT Information Systems: foundation of e Business	003.52 ALT Information Systems: foundation of e Business	Next

There are no comments on this title.

to post a comment.