Foundation of program verification
Loeckx Jaqcaues
Foundation of program verification - Chicheter John Wiley 1984 - 230p. cm. - Wiley teubner series in computer science .
44546
Textual
Computer program language
Computer science
D65,8(B)92, M4;M7
Foundation of program verification - Chicheter John Wiley 1984 - 230p. cm. - Wiley teubner series in computer science .
44546
Textual
Computer program language
Computer science
D65,8(B)92, M4;M7
