Dynamic logic / David Harel. Textual Documents

By:

Contributor(s):

Material type: Text

TextLanguage: English Original language: NULL Publication details: New Delhi : Prentice Hall of India , 2002.Description: NULL ; NULLSubject(s):

DDC classification:

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

Holdings
Item type	Current library	Home library	Call number	Copy number	Status	Date due	Barcode
Book	Dept. of Computer Science Processing Center	Dept. of Computer Science	511.3 (Browse shelf(Opens below))	1	Available		DCS2895

Previous	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	Next
Previous	511.3 Introduction to discrete mathamatics /	511.3 Introduction to formal languages and automata /	511.3 Introduction to formal languages and automata /	511.3 Dynamic logic /	511.3 Discrete mathematics /	511.3 Discrete mathematical structures: a simplified approach /	511.3 Discrete mathematics for computer science /	Next

There are no comments on this title.

to post a comment.