Computer-aided verification

RecordNumber
24102
Title
Computer-aided verification
Author Statement
edited by Robert Kurshan
Publication
Kluwer Academic Publishers
Publication Year
1993
Collation
142 p. : ill. ; 25 cm
Notes
079239285X , Includes bibliographical references , Reprinted from Formal methods in system design, vol. 1, nos. 2-3
Subject
Electronic digital computers , Computer software - Verification
ADDED ENTRIES
Kurshan, R. P.
LC Class
QA
LC Number
76.76
LC CutterNumber
.E93C65
LC Date
1993
Link To Document :
http://dl.iust.ac.ir/dL/search/default.aspx?Term=24102&Field=0&DTC=2