عنوان
پدید آورنده
موضوع
رده
QA 76.76 .V47 C38 1993
QA
76
.
76
.
V47
C38
1993
کتابخانه
محل استقرار
H1
Computer aided verification : fourth international workshop, CAV 92, Montreal, Canada, June 29-July 1, 1992 : proceedings
Berlin
Springer-Verlag
1993
ix, 422 p. : ill
Lecture notes in computer science, 663
Includes bibliographical references
Computer software Verification -- Congresses
Integrated circuits Verification -- Congresses
Electronic digital computers Evaluation -- Congresses
QA
76
.
76
.
V47
C38
1993
CO
G. v. Bochmann, D.K. Probst, eds
CAV )Conference( )4th : 1992 : Montreal, Quebec(
English
