خرید و دانلود نسخه کامل کتاب Verifying Concurrent Processes Using Temporal Logic

بررسی فرآیندهای همزمان با استفاده از منطق زمانی

Verifying Concurrent Processes Using Temporal Logic

نویسنده: Brent T. Hailpern (auth.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 1982

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

زبان: English

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

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