Your search returned 2 results.

Results
	1.	Dynamic logic/ David Harel, Dexter Kozen, Jerzy Tiuryn by Harel, David, 1950- Kozen, Dexter, 1951- Tiuryn, Jerzy Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Adult; Language: English Publication details: New Delhi : Prentice-Hall, 2007 Availability: Items available for loan: National Library of India (1)Call number: E 004.015113 H 222. Place hold Request article Save to lists
	2.	No cover image available Lecture notes in computer science / David Harel by Harel, David, 1950- Series: Lecture notes in computer science ; 68 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1979 Availability: Items available for loan: National Library of India (1)Call number: E/O 001.6 L 497. Place hold Request article Save to lists

Refine your search