Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
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 Book
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.

2.
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 Book
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.

Pages

                                                                                                                                                                                                    Facebook    Twitter

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

Powered by Koha