Computer-aided verification
Kurshan, Robert, author
طبع 1
079239285x
قائمة
شناسنامه
المدخل الرئيسي
Kurshan, Robert, author، نویسندهالعنوان واسم المؤلف
Computer-aided verificationبيانات النشر
، n.dالموضوع
Computer software-VerificationElectronic digital computers - Evaluation
اللغة
انگلیسیرقم الاسترجاع
المؤتمر:
الفهرس
کانورتورEnglish.
" Reprinted from formal methods in system design, Vol. 1 Nos. 2-3".
Includes index.
" Reprinted from formal methods in system design, Vol. 1 Nos. 2-3".
Includes index.
