Logic in Computer science: modeling and reasoning about systems

By:

Huth, Michael. and Ryan, Mark

Material type: Text

TextPublication details: Delhi Cambridge university press 2004Edition: 2Description: 427ISBN:

9780521670890

Subject(s):

Computer science

DDC classification:

004.01 HUT

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

Average rating: 0.0 (0 votes)

Holdings ( 13 )
Comments ( 0 )

Holdings
Item type	Current library	Collection	Call number	Status	Notes	Barcode
Circulation	School of Engineering Computer Science	Post Graduation	004.01 HUT (Browse shelf(Opens below))	Available	RACK NO: 08, SHELF_NO: 34	SE6927
Circulation	School of Engineering Computer Science	Under Graduation	004.01 HUT (Browse shelf(Opens below))	Available	RACK NO: 08, SHELF_NO: 34	SE12960
Circulation	School of Engineering Computer Science	Under Graduation	004.01 HUT (Browse shelf(Opens below))	Available	RACK NO: 08, SHELF_NO: 34	SE12959
Circulation	School of Engineering Computer Science	Under Graduation	004.01 HUT (Browse shelf(Opens below))	Available	RACK NO: 08, SHELF_NO: 34	SE12958
Circulation	School of Engineering Computer Science	Post Graduation	004.01 HUT (Browse shelf(Opens below))	Available	RACK NO: 08, SHELF_NO: 34	SE9545
Circulation	School of Engineering Computer Science	Post Graduation	004.01 HUT (Browse shelf(Opens below))	Available	RACK NO: 08, SHELF_NO: 34	SE9544
Reference	School of Engineering Computer Science	Post Graduation	004.01 HUT (Browse shelf(Opens below))	Available	RACK NO: CS301R, SHELF_NO: 01	SE6924
Reference	School of Engineering Computer Science	Post Graduation	004.01 HUT (Browse shelf(Opens below))	Available	RACK NO: CS301R, SHELF_NO: 01	SE6925
Circulation	School of Engineering Computer Science	Post Graduation	004.01 HUT (Browse shelf(Opens below))	Available	RACK NO: 08, SHELF_NO: 34	SE6926
Books	School of Engineering Computer Science	Post Graduation	004.01 HUT (Browse shelf(Opens below))	Available	RACK NO: CS301C, SHELF_NO: 05	SE5688
Circulation	School of Engineering Computer Science	Post Graduation	004.01 HUT (Browse shelf(Opens below))	Available	RACK NO: 08, SHELF_NO: 34	SE5689
Reference	School of Engineering Computer Science	Post Graduation	004.01 HUT (Browse shelf(Opens below))	Available	RACK NO: CS302R, SHELF_NO: 71	SE5166
Circulation	School of Engineering Computer Science	Post Graduation	004.01 HUT (Browse shelf(Opens below))	Available	RACK NO: 08, SHELF_NO: 34	SE5167

Browsing School of Engineering shelves, Shelving location: Computer Science, Collection: Under Graduation Close shelf browser (Hides shelf browser)

Previous	No cover image available							Next
Previous	004 XAV Introduction to Computers &Basic Programming	004.01 HUT Logic in Computer science: modeling and reasoning about systems	004.01 HUT Logic in Computer science: modeling and reasoning about systems	004.01 HUT Logic in Computer science: modeling and reasoning about systems	004.01 MIS Theory of computer science : automata, languages and computation	004.01 MIS Theory of computer science : automata, languages and computation	004.01 MIS Theory of computer science : automata, languages and computation	Next

There are no comments on this title.

to post a comment.

ONLINE PUBLIC ACCESS CATALOG(OPAC)

Logic in Computer science: modeling and reasoning about systems

Browsing School of Engineering shelves, Shelving location: Computer Science, Collection: Under Graduation Close shelf browser (Hides shelf browser)