The foundations of program verification
Jacques Loeckx
The foundations of program verification - 2nd ed. - B. G. Teubner, John Wiley & Sons 1987 - ix, 230p. - .
SAR/125/2009/07-10-09
0471912824 (HB)
COMPUTER PROGRAMS – VERIFICATION
COMPUTER SYSTEMS PROGRAMS – VERIFICATION
005.14 LOE(FOU)
The foundations of program verification - 2nd ed. - B. G. Teubner, John Wiley & Sons 1987 - ix, 230p. - .
SAR/125/2009/07-10-09
0471912824 (HB)
COMPUTER PROGRAMS – VERIFICATION
COMPUTER SYSTEMS PROGRAMS – VERIFICATION
005.14 LOE(FOU)