خرید و دانلود نسخه کامل کتاب A Survey of Verification Techniques for Parallel Programs

بررسی تکنیک های تایید برای برنامه های موازی

A Survey of Verification Techniques for Parallel Programs

نویسنده: Howard Barringer (auth.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 1985

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

زبان: English

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

حجم فایل: 781 کیلوبایت