خرید و دانلود نسخه کامل کتاب Logics of Programs: Brooklyn, June 17–19, 1985 Proceedings

منطق برنامه ها: بروکلین، 17 تا 19 ژوئن 1985 مجموعه مقالات

Logics of Programs: Brooklyn, June 17–19, 1985 Proceedings

نویسنده: Martin Abadi, Zohar Manna (auth.), Rohit Parikh (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 1985

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

زبان: English

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

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