Your search returned 42 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
41.
Program construction and verification. by Roland C Backhouse by
  • Backhouse, Roland C
Series: Prentice Hall international series in computer science ;
Material type: Text Book
Publication details: Englewood Cliffs Prentice Hall 1986
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 N8612.

Place hold
42.
The Logic of Programming by Eric C. R. Hehner by
  • Hehner, Eric C. R,
  • Hoare, C.A.R. (Series editor)
Series: Prentice Hall international series in computer science ;
Material type: Text Book
Publication details: London Prentice hall International inc 1984
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 512.923 HEH.

Place hold
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