LC CutterNumber :
.V47,P76
Title :
Program verification
Author Statement :
edited by T. R. Colburn, J. H. Fetzer, and T. L. Rankin
Publication :
Kluwer Academic Publishers
Collation :
xiii, 457 p.: ill.; 23 cm
Series :
Studies in cognitive systems ; v. 14
Subject :
Computer software- Verification
ADDED ENTRIES :
Colburn, Timothy R., 1952-,Fetzer, James H., 1940-,Rankin, Terry L
Holding Info. :
0792319656
SubTitle :
: fundamental issues in computer science
Biblography :
Includes bibliographical references (p. 429-443) and indexes
