دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Theory and Formal Methods 1993: Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29–31 March 1993
دانلود کتاب نظریه و روش‌های رسمی 1993: مجموعه مقالات اولین کارگاه آموزشی کالج امپریال کالج محاسباتی در مورد نظریه و روش‌های رسمی، مرکز کنفرانس جزیره خارها، دروازه چلوود، ساسکس، بریتانیا، 29 تا 31 مارس 1993
مشخصات کتاب
Theory and Formal Methods 1993: Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29–31 March 1993
ویرایش: [1 ed.] نویسندگان: Geoffrey Burn (auth.), Geoffrey Burn BSc (Hons), PhD, DIC, Simon Gay BA (Hons), DipCompSci, Mark Ryan MA, PhD (eds.) سری: Workshops in Computing ISBN (شابک) : 9783540198420, 9781447135036 ناشر: Springer-Verlag London سال نشر: 1993 تعداد صفحات: 329 [332] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 11 Mb
قیمت کتاب (تومان) : 42,000
کتاب مورد نظر موجود نمی باشد
در صورت تبدیل فایل کتاب Theory and Formal Methods 1993: Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29–31 March 1993 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نظریه و روش‌های رسمی 1993: مجموعه مقالات اولین کارگاه آموزشی کالج امپریال کالج محاسباتی در مورد نظریه و روش‌های رسمی، مرکز کنفرانس جزیره خارها، دروازه چلوود، ساسکس، بریتانیا، 29 تا 31 مارس 1993 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب نظریه و روش‌های رسمی 1993: مجموعه مقالات اولین کارگاه آموزشی کالج امپریال کالج محاسباتی در مورد نظریه و روش‌های رسمی، مرکز کنفرانس جزیره خارها، دروازه چلوود، ساسکس، بریتانیا، 29 تا 31 مارس 1993
این جلد شامل مجموعه مقالات اولین کارگاه آموزشی است که توسط بخش نظریه و روش‌های رسمی گروه کامپیوتر کالج امپریال برگزار شد. این شامل مقالات تقریباً همه اعضای بخش، از بازدیدکنندگان بلندمدت دانشگاهی ما، و از کسانی است که اخیراً ما را ترک کرده‌اند. مقالات در چهار حوزه گسترده قرار می گیرند: • معناشناسی • همزمانی • منطقی • مشخصات با برخی از مقالات شامل تعدادی رشته. مطالب موضوعی از کار بر روی مبانی ریاضی تا کاربردهای عملی این نظریه متفاوت است، که بیانگر تعهد بخش به مبانی علوم کامپیوتر و کاربرد نظریه برای مسائل محاسباتی واقعی است. در تهیه کارگاه و این اقدامات، دقت شد که مقالاتی در مورد یک رشته و همچنین مقالاتی که هدف اصلی آنها ارائه نتایج علمی جدید باشد، وجود داشته باشد. این یک هدف دوگانه داشت: به سرعت بخشیدن به اعضای بخش ما در برخی از زمینه هایی که توسط بخش روی آنها کار می شود. و نه تنها مقدمه خوبی در مورد بسیاری از زمینه های خاص که توسط بخش مورد بررسی قرار می گیرد، بلکه جزئیات برخی از آخرین نتایج ما را نیز در اختیار خواننده مقالات قرار دهیم. تمام مقالات ارائه شده در کارگاه پس از نظراتی که شرکت کنندگان در کارگاه ارائه کردند، بازنگری شدند و متعاقباً همه توسط حداقل دو نفر قبل از تولید نسخه نهایی موجود در این جلد بررسی شدند.
