Your search returned 2 results.

Not what you expected? Check for suggestions

Results
	1.	No cover image available The temporal logic of reactive and concurrent systems [Book] / Zohar Manna, Amir Pnueli. by Manna, Zohar Pnueli, A Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer-Verlag, c1992- Availability: Items available for loan: Junaid Zaidi Library, COMSATS University Islamabad (1)Call number: 005.1 MAN-T. Place hold Add to cart (remove)
	2.	No cover image available The Logical Basis for Computer Programming [Book]. by Manna Zohar Waldinger Richard Edition: 2nd Material type: Text Publication details: California Addison-Wesley Publishing 1985 Availability: Items available for loan: COMSATS University Wah Campus (2)Call number: 005 MAN, ... Place hold Add to cart (remove)

Refine your search