استفاده صنعتی از روش های رسمی: تأیید رسمی
Industrial use of formal methods: formal verification
نویسنده: Boulanger J.-L. (ed.)
ناشر: Wiley
سال انتشار: 2012
تعداد صفحات: 306
زبان: English
فرمت: djvu - قابل تبدیل به سایر فرمت ها
حجم فایل: 3 مگابایت
توضیحی برای این کتاب ثبت نشده است.