عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.1633
QA
76
.
L28
Vol
.
1633
کتابخانه
محل استقرار
Computer-aided verification : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999
1999: Trento, Italy
Berlin
Springer-Verlag
c1999
xii, 506 p.: ill., tables
Lecture notes in computer science; 3361
Includes bibliographies
ISBN 3540662022
Nicolas Halbwaches, Doron Peled )Eds.(
1
Evaluation -- Congresses ، Computer software
Evaluation -- Congresses ، Electronic digital computers
QA
76
.
L28
Vol
.
1633
AU
AU Halbwachs, Nicolas
AU Peled, Doron A., 1962-
TI
SE
CAV
