Proving programs correct

Robert B. Anderson
Bok · Engelsk · 1979

Utgitt	New York : Wiley , c1979
Omfang	viii,184 s. : ill.
Emner	programvaretesting
ISBN	0471033952