دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic of Programs: Workshop, ETH Zürich, May–July 1979
دانلود کتاب منطق برنامه ها: کارگاه آموزشی، ETH زوریخ، مه تا ژوئیه 1979
مشخصات کتاب
Logic of Programs: Workshop, ETH Zürich, May–July 1979
ویرایش: 1 نویسندگان: Dexter Kozen (auth.), Erwin Engeler (eds.) سری: Lecture Notes in Computer Science 125 ISBN (شابک) : 3540111603, 9783540111603 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1981 تعداد صفحات: 250 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 37,000
کلمات کلیدی مربوط به کتاب منطق برنامه ها: کارگاه آموزشی، ETH زوریخ، مه تا ژوئیه 1979: منطق و معانی برنامه ها
در صورت تبدیل فایل کتاب Logic of Programs: Workshop, ETH Zürich, May–July 1979 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق برنامه ها: کارگاه آموزشی، ETH زوریخ، مه تا ژوئیه 1979 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
فهرست مطالب
On the duality of dynamic algebras and kripke models....Pages 1-11
The deducibility problem in propositional dynamic logic....Pages 12-22
PAL — Propositional algorithmic logic....Pages 23-101
Propositional dynamic logics of programs: A survey....Pages 102-144
On the algorithmic theory of dictionaries....Pages 145-168
On the algorithmic properties of concurrent programs....Pages 169-197
A survey of the logic of effective definitions....Pages 198-245
