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