PROGRAM verification: fundamental issues in computer science /
edited by Timothy R.Colburn, James H.Fetzer, Terry L.Rankin
- Dordrecht Kluwer Academic Pub. 1993
- xiii, 457 p.
Includes references, bibliography and index.
792319656
Computer programming
5.1 / PRO
Includes references, bibliography and index.
792319656
Computer programming
5.1 / PRO