تأیید رسمی اعمال شده
Applied Formal Verification
نویسنده: Douglas L. Perry, Harry Foster
ناشر: McGraw-Hill Professional, 1 edition, April 29, 2005
سال انتشار: 2005
تعداد صفحات: 259
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 856 کیلوبایت