عنوان
پدید آورنده
موضوع
رده
QA 76.76 .E93 C65 1993
QA
76
.
76
.
E93
C65
1993
کتابخانه
محل استقرار
CE
Computer-aided verification
Boston
Kluwer Academic Publishers
1993
142 p. : ill
"Reprinted from Formal methods in system design, vol. 1, nos. 2-3."
Includes bibliographies
Computer software - Verification
Electronic digital computers - Evaluation
QA
76
.
76
.
E93
C65
1993
TI
edited by Robert Kurshan
English
