عنوان
پدید آورنده
موضوع
رده
QA 76 .76 .E93 .C38 1993
QA
76
.
76
.
E93
.
C38
1993
کتابخانه
محل استقرار
100894
100868
تابستان۳۷
English
)20(
Computer aided verification: fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992: proceedings
Berlin; New York
Springer-Verlag
1993
ix, 422 p.: ill.; 24 cm
Lecture notes in computer science
663
Includes bibliographical references
Congresses ، Computer software-- Verification
Congresses ، Electronic digital computers-- Evaluation
QA
76
.
76
.
E93
.
C38
1993
AU
G. v. Bochmann, D. K. Probst, eds
AU nov rogerG ,nnamhcoB 1941-
AU lraK divaD ,tsborP 1945-
TI
SE
CAV'92, )4th: 1992: Montreal, Quebec(
02
02
