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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Handbook of Logic in Computer Science. Volume 4: Semantic Modelling

دانلود کتاب کتاب منطق در علوم کامپیوتر. دوره 4: مدل سازی معنایی

مشخصات کتاب

Handbook of Logic in Computer Science. Volume 4: Semantic Modelling

دسته بندی: کامپیوتر
ویرایش:  
نویسندگان: Samson Abramsky,  Dov M Gabbay,  Thomas S E Maibaum (eds.)  
سری:  
ISBN (شابک) : 0198537808, 9780198537809 
ناشر: Clarendon Press 
سال نشر: 1995 
تعداد صفحات: 668 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 49 مگابایت

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

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

در صورت تبدیل فایل کتاب Handbook of Logic in Computer Science. Volume 4: Semantic Modelling به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب کتاب منطق در علوم کامپیوتر. دوره 4: مدل سازی معنایی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب کتاب منطق در علوم کامپیوتر. دوره 4: مدل سازی معنایی

راهنمای منطق در علوم کامپیوتر یک اثر چند جلدی است که تمام زمینه های اصلی کاربرد منطق در علوم کامپیوتر نظری را پوشش می دهد. این شامل شش جلد است که هر کدام شامل پنج یا شش فصل است که یک مرور عمیق از یکی از موضوعات اصلی در این زمینه ارائه می دهد. کتاب راهنما نتیجه سال‌ها تلاش مشترک محققان برجسته در این منطقه است و بدون شک برای سال‌های آینده مرجع استاندارد در منطق و علوم کامپیوتر نظری خواهد بود. جلد 4: مدل‌سازی معنایی موضوعات اساسی مدل‌سازی معنایی در منطق و محاسبات را پوشش می‌دهد. محتویات شامل مدل هایی برای همزمانی، جبر فرآیند عینی، مطابقت بین معنایی عملیاتی و معنایی، جبرهای مؤثر و تفسیر انتزاعی است.

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

The Handbook of Logic in Computer Science is a multi-volume work covering all the major areas of the application of logic to theoretical computer science. It comprises six volumes, each containing five or six chapters giving an in-depth overview of one of the major topics in the field. The handbook is the result of many years of cooperative effort by eminent researchers in the area, and will no doubt be the standard reference work in logic and theoretical computer science for years to come. Volume 4: Semantic Modelling covers the fundamental topics of semantic modelling in logic and computation. Contents include models for concurrency, concrete process algebra, correspondence between operational and denotational semantics, effective algebras, and abstract interpretation.