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.
