Yeh, Raymond T

Current trends in programming methodology, v ii: program validation - NEW JERSEY PRENTICE HALL,INC 1977 - 317 p p.

MATHEMATICS