خرید و دانلود نسخه کامل کتاب An Introduction to Practical Formal Methods Using Temporal Logic

معرفی روشهای رسمی عملی با استفاده از منطق زمانی

An Introduction to Practical Formal Methods Using Temporal Logic

نویسنده: Michael Fisher

ناشر: Wiley

سال انتشار: 2011

تعداد صفحات: 353

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 2 مگابایت