Computer aided verification : fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings /

Computer aided verification : fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings /

محفوظ في:
التفاصيل البيبلوغرافية
مؤلف مشترك: CAV (Conference) Montréal, Québec)
مؤلفون آخرون: Bochmann, Gregor von, 1941-, Probst, D. K. (David Karl), 1945-
التنسيق: وقائع المؤتمر كتاب
اللغة:English
منشور في: Berlin ; New York : Springer-Verlag, c1993.
سلاسل:Lecture notes in computer science ; 663.
الموضوعات:
Computer software > Verification > Congresses.
Electronic digital computers > Evaluation > Congresses.
الوصف
وصف مادي:ix, 422 p. : ill. ; 24 cm.
بيبلوغرافيا:Includes bibliographical references.
ردمك:0387564969

مواد مشابهة