عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.1855
QA
76
.
L28
Vol
.
1855
کتابخانه
محل استقرار
Computer aided verification : 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 : proceedings
2000 : Chicago, IL, USA
Berlin
Springer-Verlag
c2000
x, 582 p.: ill
Lecture notes in computer science; 5581
Includes bibliographies
ISBN 3540677704
E. Allen Emerson, A. Prasad Sistla )eds.(
1
Congresses ، Computer software -- Verification
Evaluation -- Congresses ، Electronic digital computers
QA
76
.
L28
Vol
.
1855
AU
AU Emerson, E. Allen
AU Sistla, A. Prasad
TI
SE
CAV
