خرید و دانلود نسخه کامل کتاب Specification and Verification of Concurrent Systems

مشخصات و تایید سیستم های همزمان

Specification and Verification of Concurrent Systems

نویسنده: Pierre America (auth.), C. Rattray MSc (eds.)

ناشر: Springer-Verlag London

سال انتشار: 1990

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

زبان: English

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

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