دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب 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 مگابایت
قیمت کتاب (تومان) : 58,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
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Novel Developments in Uncertainty Representation and Processing: Advances in Intuitionistic Fuzzy Sets and Generalized Nets – Proceedings of 14th International Conference on Intuitionistic Fuzzy Sets and Generalized Nets
دانلود کتاب Microwave line of sight link engineering
دانلود کتاب Üç Robot Yasası, Asi Gezegen Tyrann, Ben Robot, Çelik Mağaralar, Zamandan Kaçış, Güneşin Tanrıları
