خرید و دانلود نسخه کامل کتاب Specifying Message Passing and Time-Critical Systems with Temporal Logic

تعیین سیستم‌های ارسال پیام و زمان بحرانی با منطق زمانی

Specifying Message Passing and Time-Critical Systems with Temporal Logic

نویسنده: Ron Koymans (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 1992

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

زبان: English

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

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