خرید و دانلود نسخه کامل کتاب Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday

تأیید ، القاء ، تجزیه و تحلیل خاتمه: Festschrift برای کریستوف والتر به مناسبت 60 سالگی خود

Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday

نویسنده: Brigitte Pientka (auth.), Simon Siegler, Nathan Wasser (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2010

تعداد صفحات: 145 [151]

زبان: English

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

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