Your search returned 10 results.

Results
	1.	No cover image available Evolution of programs a system for automatic program modification /by Nachum Dershowitz and Zohar Manna. by Dershowitz, Nachum. Manna, Zohar Series: Stanford Artificial Intelligence Laboratory -CS-76-586, AIM-294 Material type: Text Publication details: Stanford Stanford Univ. 1976 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6425 N767.
	2.	No cover image available Logical Basis for Computer Programming, Vol 2 Deductive system by Zohar Manna and Richard Waldinger by Manna, Zohar Waldinger, Richard Series: v.2 Deductive systems Material type: Text Publication details: Reading Addison-Wesley 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N85.2.
	3.	Temporal logic of reactive and concurrent system specification by Zohar Manna and Amir Pruchi by Manna, Zohar Pruchi, Amir Material type: Text Publication details: New York S-V 1992 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 N92. Place hold
	4.	Temporal logic of reactive and concurrent systems specifications by Zohar Manna, Amir Pnueli by Manna, Zohar Pnueli, Amir Material type: Text Publication details: New York Springer-Verlag 1992 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 N92;2. Place hold
	5.	Studies in automatic programming logic by Zohar Manna, Richard Wadlinder by Manna, Zohar Wadlinger, Richard Series: Artificial Intelligence Series Material type: Text Publication details: New York North-Holland 1977 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.642 N774.
	6.	Lectures on the logic of computer programming by Zohar Manna by Manna, Zohar Series: CBMS-NSF Regional Conference Series in Applied Mathematics Material type: Text Publication details: Philadelphia Society for Industrial & Applied Mathematics 1980 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.642 N8016.
	7.	Lectures on the logic of computer programming (e-book) by Manna, Zohar Series: CBMS-NSF Regional Conference Series in Applied Mathematics Material type: Text Publication details: Siam 1980 Online resources: Click here to access online Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 001.642 (e-book). Place hold
	8.	No cover image available Mathematical theory of computation Zohar Manna by Manna, Zohar Material type: Text Publication details: Tokyo McGraw- Hill Kogakusha, Ltd. 1974 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 001.6425 N742. Place hold
	9.	No cover image available Mathematical theory of compuation by Zohar manna by Manna, Zohar Series: McGraw Hill computer science series ; Material type: Text Publication details: Tokyo McGraw Hill 1974 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.0151 N74. Place hold
	10.	Logic basis for computer programming Vol.1 Deductive Reasoning by Zohar Manna and richard Waldinger by Manna, Zohar Waldinger, richard Series: Addison wesley series in computer science ; Material type: Text Publication details: Massachusetts Addison wesley 1985 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 519.7 N85. Place hold

Copyright © 2024. J.R.D. Tata Memorial Library, Indian Institute of Science, Bengaluru - 560012
Contact Phone: +91 80 2293 2832