عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.818
QA
76
.
L28
Vol
.
818
کتابخانه
محل استقرار
Computer aided verification : 6th International Conference, CAV'94Stanford, California, USA, June 21-23, 1994. Proceedings
6th: 1994: Stanford, Calif.
Berlin
Springer-Verlag
c1994
ix, 480p.: ill
Lecture notes in computer science; 818
Includes bibliographies
ISBN: 3540581790
David L. Dill, ed
1
Congresses ، Computer software -- Verification
Evaluation -- Congresses ، Electronic digital computers
QA
76
.
L28
Vol
.
818
AU
AU Dill, David L.
TI
SE
CAV
