تأیید رسمی رسمی
Advanced formal verification
نویسنده: Rolf Drechsler
ناشر: Kluwer Academic Publishers
سال انتشار: 2004
تعداد صفحات: 276
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 4 مگابایت
توضیحی برای این کتاب ثبت نشده است.