خرید و دانلود نسخه کامل کتاب Time for Verification: Essays in Memory of Amir Pnueli

زمان تأیید: مقالاتی به یاد امیر پنولی

Time for Verification: Essays in Memory of Amir Pnueli

نویسنده: Howard Barringer, Dov M. Gabbay (auth.), Zohar Manna, Doron A. Peled (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2010

تعداد صفحات: 413 [408]

زبان: English

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

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