عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.2404
QA
76
.
L28
Vol
.
2404
کتابخانه
محل استقرار
Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings
2002 : Copenhagen, Denmark
Berlin
Springer-Verlag
c2002
xiii, 626 p.: ill., tables.
Lecture notes in computer science; 4042
Includes bibliographies
ISBN: 3540439978
Ed Brinksma, Kim Guldstrand Larsen )eds.(
1
Congresses ، Computer software -- Verification
Evaluation -- Congresses ، Electronic digital computers
QA
76
.
L28
Vol
.
2404
AU
AU Brinksma, Ed
AU Larsen, Kim Guldstrand, 1957-
TI
SE
CAV
