خرید و دانلود نسخه کامل کتاب Programmverifikation: Sequentielle, parallele und verteilte Programme

تأیید برنامه: برنامه های متوالی، موازی و توزیع شده

Programmverifikation: Sequentielle, parallele und verteilte Programme

نویسنده: Prof. Dr. Krzysztof R. Apt, Prof. Dr. Ernst-Rüdiger Olderog (auth.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 1994

تعداد صفحات: 258 [267]

زبان: German

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

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