خرید و دانلود نسخه کامل کتاب 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

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

زبان: English

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

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