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 نویسنده: Howard Barringer – Dov M. Gabbay (auth.) – Zohar Manna – Doron A. Peled (eds.) زبان: english فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها) سال انتشار: 2010 تعداد صفحه: 413 / 407 حجم فایل: 3.93 مگابایت کد…