Logics for computer science

By: Arindama Singh Material type: Text

TextLanguage: English Publication details: Prentice Hall of India, New Delhi 2003 Description: ix, 369pISBN: 9788120322844Subject(s): Logics – Computer ScienceDDC classification: 005.131 SIN(LOG)

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	Materials specified	Copy number	Status	Date due	Barcode	Item holds
Books	Central Library	005.131 SIN(LOG) (Browse shelf(Opens below))		1	Available		5145

Total holds: 0

Previous		No cover image available						Next
Previous	005.131 SCH(STR) The structure of typed pogramming languages	005.131 SEN(FOU) Foundation of computer science and programming	005.131 SHA(SEC) A second course in formal languages and automata theory	005.131 SIN(LOG) Logics for computer science	005.131 SIN(LOG) Logics for computer science	005.131 SIP(INT) Introduction to the theory of computation	005.131 SIP(INT) Introduction to the theory of computation	Next

MC/1/0251/08-09/21-07-08

There are no comments on this title.

to post a comment.