6. Proving programs correct

Author:

Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)

Subject: Computer programs - Testing,Debugging in computer science

Classification :
QA
76
.
6
.
A47
1979

8. Software defect removal

Author:

Library: Central Library and Document Center of Isfahan University (Esfahan)

Subject: Debugging in computer science ► Computer programs-Testing

Classification :
D923s

9. Software defect removal

Author:

Library: Central Library and Document Center of Isfahan University (Esfahan)

Subject: Debugging in computer science ► Computer programs-Testing

Classification :
D923s