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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International ... Programming and Software Engineering)

دانلود کتاب روش‌های رسمی: کاربردها و فناوری: یازدهمین کارگاه بین‌المللی روش‌های رسمی برای سیستم‌های بحرانی صنعتی، FMICS 2006 و پنجمین دوره بین‌المللی ... برنامه‌نویسی و مهندسی نرم‌افزار)

مشخصات کتاب

Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International ... Programming and Software Engineering)

دسته بندی: فن آوری
ویرایش: 1 
نویسندگان: Lubos Brim,  Boudewijn Haverkort,  Martin Leucker,  Jaco van de Pol  
سری:  
ISBN (شابک) : 3540709517, 9783540709527 
ناشر:  
سال نشر: 2007 
تعداد صفحات: 372 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت

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

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

در صورت تبدیل فایل کتاب Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International ... Programming and Software Engineering) به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب روش‌های رسمی: کاربردها و فناوری: یازدهمین کارگاه بین‌المللی روش‌های رسمی برای سیستم‌های بحرانی صنعتی، FMICS 2006 و پنجمین دوره بین‌المللی ... برنامه‌نویسی و مهندسی نرم‌افزار) نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب روش‌های رسمی: کاربردها و فناوری: یازدهمین کارگاه بین‌المللی روش‌های رسمی برای سیستم‌های بحرانی صنعتی، FMICS 2006 و پنجمین دوره بین‌المللی ... برنامه‌نویسی و مهندسی نرم‌افزار)

این کتاب مجموعه مقالات پس از داوری کامل دو کارگاه بین‌المللی در مورد روش‌های رسمی برای سیستم‌های بحرانی صنعتی، FMICS 2006، و روش‌های موازی و توزیع‌شده در راستی‌آزمایی، PDMC 2006 است که در شهر بن، آلمان در اوت 2006 در دوره آموزشی برگزار شد. هفدهمین کنفرانس بین المللی نظریه همزمانی، CONCUR 2006 (همچنین به جلد 4137 LNCS مراجعه کنید). 16 مقاله کامل اصلاح شده و 2 مقاله ابزار اصلاح شده، که از بین 47 مقاله ارسالی برای FMICS 2006 انتخاب شده اند، همراه با 4 مقاله اصلاح شده کامل PDMC 2006، انتخاب شده از 9 مقاله ارسالی، همراه با یک سخنرانی دعوت شده برای هر کارگاه ارائه می شوند. مقالات FMICS روش‌های رسمی برای مدیریت فضاهای بزرگ، آزمایش‌های مبتنی بر مدل، توصیف رسمی و تکنیک‌های تحلیل و همچنین طیف وسیعی از کاربردها و مطالعات موردی را پوشش می‌دهند. مقالات PDMC به موضوعاتی مانند روش های موازی و توزیع شده در بررسی مدل، مسائل سیستم برای تأیید موازی و توزیع شده و برنامه های کاربردی اختصاصی می پردازد.

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

This book constitutes the thoroughly refereed joint post-proceedings of the two International Workshops on Formal Methods for Industrial Critical Systems, FMICS 2006, and on Parallel and Distributed Methods in Verification, PDMC 2006, held in Bonn, Germany in August 2006 in the course of the 17th International Conference on Concurrency Theory, CONCUR 2006 (see also LNCS volume 4137). The 16 revised full papers and 2 revised tool papers, selected out of 47 submissions for FMICS 2006 are accompanied by 4 revised full papers of PDMC 2006, selected from 9 submissions and are presented together with an invited talk for each workshop. The FMICS papers cover formal methodologies for handling large state spaces, model based testing, formal description and analysis techniques as well as a range of applications and case studies; the papers of PDMC address topics such as parallel and distributed methods in model checking, system issues for parallel and distributed verification, and dedicated applications.