عنوان
پدید آورنده
موضوع
رده
QA 76.76 .E93C65 1992
QA
76
.
76
.
E93C65
1992
کتابخانه
محل استقرار
لاتين
author
Computer-aided verification
n.d
مرجع به حساب نمي آيد
Computer software-Verification
Electronic digital computers - Evaluation
QA
76
.
76
.
E93C65
1992
مولف
Kurshan, Robert
