خرید و دانلود نسخه کامل کتاب Concurrency Verification: Introduction to Compositional and Non-compositional Methods

تأیید صحت همزمان: مقدمه ای بر روشهای ترکیبی و غیر ترکیبی

Concurrency Verification: Introduction to Compositional and Non-compositional Methods

نویسنده: Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers

ناشر: Cambridge University Press

سال انتشار: 2001

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

زبان: English

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

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