خرید و دانلود نسخه کامل کتاب Verification of sequential and concurrent programs

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

Verification of sequential and concurrent programs

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

ناشر: Springer

سال انتشار: 2009

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

زبان: English

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

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