دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Theoretical Aspects of Computer Software: International Conference TACS '91 Sendai, Japan, September 24–27, 1991 Proceedings
دانلود کتاب جنبه های نظری نرم افزار کامپیوتر: کنفرانس بین المللی TACS '91 Sendai، ژاپن، 24-27 سپتامبر 1991 مجموعه مقالات
مشخصات کتاب
Theoretical Aspects of Computer Software: International Conference TACS '91 Sendai, Japan, September 24–27, 1991 Proceedings
ویرایش: [1 ed.] نویسندگان: Gordon Plotkin (auth.), Takayasu Ito, Albert R. Meyer (eds.) سری: Lecture Notes in Computer Science 526 ISBN (شابک) : 3540544151, 9783540544159 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1991 تعداد صفحات: 776 [783] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 Mb
قیمت کتاب (تومان) : 46,000
در صورت تبدیل فایل کتاب Theoretical Aspects of Computer Software: International Conference TACS '91 Sendai, Japan, September 24–27, 1991 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب جنبه های نظری نرم افزار کامپیوتر: کنفرانس بین المللی TACS '91 Sendai، ژاپن، 24-27 سپتامبر 1991 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب جنبه های نظری نرم افزار کامپیوتر: کنفرانس بین المللی TACS '91 Sendai، ژاپن، 24-27 سپتامبر 1991 مجموعه مقالات
TACS'91 اولین کنفرانس بین المللی جنبه های نظری علوم کامپیوتر است که در دانشگاه توهوکو، ژاپن، در سپتامبر 1991 برگزار شد. این جلد شامل 37 مقاله و یک چکیده برای گفتگوهای ارائه شده در کنفرانس است. TACS'91 بر مبانی نظری برنامه نویسی و جنبه های نظری طراحی، تجزیه و تحلیل و پیاده سازی زبان ها و سیستم های برنامه نویسی تمرکز داشت. طیف وسیعی از موضوعات زیر پوشش داده شده است: منطق، اثبات، مشخصات و معناشناسی برنامه ها و زبان ها. نظریه ها و مدل های محاسبات همزمان، موازی و توزیع شده؛ منطق سازنده، نظریه مقوله و نظریه نوع در علوم کامپیوتر. سیستم های مبتنی بر نظریه برای تعیین، ترکیب، تبدیل، آزمایش و تأیید نرم افزار.
توضیحاتی درمورد کتاب به خارجی
TACS'91 is the first International Conference on Theoretical Aspects of Computer Science held at Tohoku University, Japan, in September 1991. This volume contains 37 papers and an abstract for the talks presented at the conference. TACS'91 focused on theoretical foundations of programming, and theoretical aspects of the design, analysis and implementation of programming languages and systems. The following range of topics is covered: logic, proof, specification and semantics of programs and languages; theories and models of concurrent, parallel and distributed computation; constructive logic, category theory, and type theory in computer science; theory-based systems for specifying, synthesizing, transforming, testing, and verifying software.
