Your search returned 6 results.

Sort
Results
1.
Meta-evaluation as a tool for program understanding. by Robert Balzer, Neil Goldman, David Wile. by
  • Balzer, Robert
  • Goldman, Neil
  • Wile, David
Series: Information Sciences Institute / RR-78-69
Material type: Text Book
Publication details: California ISI 1978
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6425 N787.

2.
Significance of program dependences for software testing, debugging and maintenance by H. Andy Podgurski by
  • Podgurski, H. Andy
Material type: Text Book
Publication details: Ann Arbor University Microfilms International 1989
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.14 N891.

3.
Mathematical theory of program correctness by Jaco De Bakker, asst. by Arie De Bruin, Jeffrey Zucker by
  • De Bakker, Jaco
  • De Bruin, Arie., asst
  • Zucker, Jeffrey., asst
Material type: Text Book
Publication details: Englewood Cliffs Prentice-Hall 1980
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.642 N8013.

4.
Programe style, design, efficiency debugging and testing by Dennie Van Tassel by
  • Tassel, Dennie Van
Edition: 2nd
Material type: Text Book
Publication details: New Jersey Prentice-Hall 1978
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 001.642 N7813.

5.
Correctness problem in computer science. ed. by R.S. Boyer, J. Strother Moore by
  • Boyer, R.S., ed
  • Moore, Strother J., ed
Series: International lecture series in computer science
Material type: Text Book
Publication details: London Academic Press 1981
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.642 N816.

6.
Software testing techniques by Boris Beizer. by
  • Beizer, Boris
Series: Van Nostrand Reinhold electrical/compurwe science and engin
Material type: Text Book
Publication details: New York Van Nortrand Reinhold 1983
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 001.6425 N8318 R(T).

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