Boyer, R. S.
Correctness problem in computer science edited by R.S. Boyer and J Strother Moore - 1st ed. - London Academic Press 1981 - xiii, 279 p. ill. 24 cm.
Includes bibliographies
0121229203
Computer programs
001.642 / BOY/1981
Correctness problem in computer science edited by R.S. Boyer and J Strother Moore - 1st ed. - London Academic Press 1981 - xiii, 279 p. ill. 24 cm.
Includes bibliographies
0121229203
Computer programs
001.642 / BOY/1981