خرید و دانلود نسخه کامل کتاب Integrating Decision Procedures for Temporal Verification

یکپارچه سازی رویه های تصمیم گیری برای تأیید موقت

Integrating Decision Procedures for Temporal Verification

نویسنده: Nikolaj Skallerud Bjorner

ناشر: Stanford University

سال انتشار: 1999

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

زبان: English

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

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