-
RecordNumber
23718
-
Title
Program verification : fundamental issues in computer science
-
Author Statement
edited by Timothy R. Colburn, James H. Fetzer, and Terry L. Rankin
-
Publication
Kluwer Academic Publishers
-
Publication Year
1993
-
Collation
xiii, 457 p. : ill. ; 23 cm
-
Series
Studies in cognitive systems, v. 14
-
Notes
0792319656 , Includes bibliographical references (p. 429-443) and indexes
-
Subject
Computer software - Verification
-
ADDED ENTRIES
Rankin, Terry L. , Fetzer, James H. , Colburn, Timothy R. ,
-
LC Class
QA
-
LC Number
76.76
-
LC CutterNumber
.V47P76
-
LC Date
1993
-
Link To Document :
