عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.697
QA
76
.
L28
Vol
.
697
کتابخانه
محل استقرار
Computer aided verification : 5th International Conference, CAV'93 Elounda, Greece, June 28-July 1, 1993 : proceedings
5th: 1993: Elounda, Greece
Berlin
Springer-Verlag
c1993
ix, 504p.: ill., tables
Lecture notes in computer science; 796
Includes bibliographies
ISBN: 3540569227
Costas Courcoubetis )ed.(
1
Congresses ، Computer software -- Verification
Evaluation -- Congresses ، Electronic digital computers
QA
76
.
L28
Vol
.
697
AU
AU Courcoubetis, Costas
TI
SE
CAV
