DaftarIsitemplate

Call Number

005.3 And p

Title

Proving programs correct

Author

Anderson, Robert B.;

Publisher

New York: John Wiley & Sons, 1979

Subject

Computer program testing; Debugging in computer scicence

Location