عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.1254
QA
76
.
L28
Vol
.
1254
کتابخانه
محل استقرار
Computer aided verification : 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings
1997: Haifa, Israel
Berlin
Springer-Verlag
c1997
xi, 486 p.: ill., tables
Lecture notes in computer science; 4521
Includes bibliographies
ISBN 3540631666
Orna Grumberg )ed.(
1
Congresses ، Computer software -- Verification
Evaluation -- Congresses ، Electronic digital computers
QA
76
.
L28
Vol
.
1254
AU
AU Grumberg, Orna
TI
SE
CAV
