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

تایید برنامه های متوالی و همزمان

Verification of Sequential and Concurrent Programs

نویسنده: Krzysztof R. Apt, Ernst-Rüdiger Olderog

ناشر: Springer

سال انتشار: 1997

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

زبان: English

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

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