ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Mathematical Foundations of Programming Semantics: International Conference Manhattan, Kansas, April 11–12, 1985 Proceedings

دانلود کتاب مبانی ریاضی معناشناسی برنامه نویسی: کنفرانس بین المللی منهتن، کانزاس، 11-12 آوریل، 1985 مجموعه مقالات

Mathematical Foundations of Programming Semantics: International Conference Manhattan, Kansas, April 11–12, 1985 Proceedings

مشخصات کتاب

Mathematical Foundations of Programming Semantics: International Conference Manhattan, Kansas, April 11–12, 1985 Proceedings

دسته بندی: برنامه نويسي
ویرایش: 1 
نویسندگان: , ,   
سری: Lecture Notes in Computer Science 239 
ISBN (شابک) : 3540168168, 9783540168164 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 1986 
تعداد صفحات: 400 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت

قیمت کتاب (تومان) : 28,000

در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد



کلمات کلیدی مربوط به کتاب مبانی ریاضی معناشناسی برنامه نویسی: کنفرانس بین المللی منهتن، کانزاس، 11-12 آوریل، 1985 مجموعه مقالات: منطق و معانی برنامه ها



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 10


در صورت تبدیل فایل کتاب Mathematical Foundations of Programming Semantics: International Conference Manhattan, Kansas, April 11–12, 1985 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مبانی ریاضی معناشناسی برنامه نویسی: کنفرانس بین المللی منهتن، کانزاس، 11-12 آوریل، 1985 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی درمورد کتاب به خارجی



فهرست مطالب

Standard, storeless semantics for ALGOL-style block structure and call-by-name....Pages 1-19
Cartesian closed categories, quasitopoi and topological universes....Pages 20-41
Concrete categories and injectivity....Pages 42-52
Fixed points in process algebras with internal actions....Pages 53-58
A fully abstract semantics and a proof system for an algol-like language with sharing....Pages 59-100
Comparing categories of domains....Pages 101-121
Galois connections....Pages 122-134
Retracts of SFP objects....Pages 135-148
Continuous categories....Pages 149-161
Free constructions of powerdomains....Pages 162-183
Additive domains....Pages 184-195
A topological framework for cpos lacking bottom elements....Pages 196-204
Detecting local finite breadth in continuous lattices and semilattices....Pages 205-214
On the variety concept for ω-continuous algebras. Application of a general approach....Pages 215-248
On denotational semantics of data bases....Pages 249-274
Postconditional semantics of data base queries....Pages 275-295
What is a model? A consumer's perspective on semantic theory....Pages 296-307
Modal theory, partial orders, and digital geometry....Pages 308-323
An FP domain with infinite objects....Pages 324-341
Union complete countable subset systems....Pages 342-356
On the syntax and semantics of concurrent computing....Pages 357-394




نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی