خرید و دانلود نسخه کامل کتاب Verifying Temporal Properties of Systems

تأیید ویژگی های زمانی سیستم ها

Verifying Temporal Properties of Systems

نویسنده: Julian Charles Bradfield (auth.)

ناشر: Birkhäuser Basel

سال انتشار: 1992

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

زبان: English

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

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