دانلود کتاب Logics of Programs: Brooklyn, June 17–19, 1985 Proceedings
| عنوان فارسی | منطق برنامه ها: بروکلین، 17 تا 19 ژوئن 1985 مجموعه مقالات |
|---|---|
| عنوان اصلی | Logics of Programs: Brooklyn, June 17–19, 1985 Proceedings |
| ویرایش | 1 |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Martin Abadi, Zohar Manna (auth.), Rohit Parikh (eds.) |
| ISBN | 3540156488, 9783540156482 |
| سال نشر | 1985 |
| زبان | English |
| تعداد صفحات | 430 |
| فرمت کتاب | djvu - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 5 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد