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

LC Number

76.76

LC CutterNumber

.V47P76

LC Date

1993

Link To Document