Program construction and varification
Backhouse Roland C
Program construction and varification - Englewood cliffs Prentice hall 1986 - xi,281p. cm. - Prentice hall international series in computer science .
48516
Textual
Computer science
D65,8(B)92, M6
Program construction and varification - Englewood cliffs Prentice hall 1986 - xi,281p. cm. - Prentice hall international series in computer science .
48516
Textual
Computer science
D65,8(B)92, M6
